Helmut Wolter - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

1993

Consequences of Schanuel s Condition for Zeros of Exponential TermsHelmut Wolter. mlq, 39:559-565, 1993.

On Roots of Exponential TermsHelmut Wolter. mlq, 39:96-102, 1993.

1989

Orderings in Exponential Fields of Term Defined FunctionsHelmut Wolter. mlq, 35(2):187-192, 1989. [doi]

1986

Some Remarks on Exponential Functions in Ordered FieldsHelmut Wolter. mlq, 32(13-16):229-236, 1986. [doi]

1985

On the "Problem of the Last Root" for Exponential TermsHelmut Wolter. mlq, 31(9-12):163-168, 1985. [doi]

1984

Ordered Fields with Several exponential FunctionsBernd I. Dahn, Helmut Wolter. mlq, 30(19-24):341-348, 1984. [doi]

1983

On the Theory of exponential FieldsBernd I. Dahn, Helmut Wolter. mlq, 29(9):465-480, 1983. [doi]

1981

Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantorenHeinrich Herre, Helmut Wolter. mlq, 27(2-6):73-94, 1981. [doi]

1980

Untersuchungen zu Schwachen Logiken der Zweiten StufeEberhard Herrmann, Helmut Wolter. mlq, 26(1-6):59-68, 1980. [doi]

1979

Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-QuantorHeinrich Herre, Helmut Wolter. mlq, 25(19-24):345-358, 1979. [doi]

1978

Entscheidbarkeit der Theorie der Linearen Ordnung in LHeinrich Herre, Helmut Wolter. mlq, 24(1-6):73-78, 1978. [doi]

1977

Entscheidbarkeit Der Theorie Der Linearen Ordnung In LHeinrich Herre, Helmut Wolter. mlq, 23(18):273-282, 1977. [doi]

1975

Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten QuantorenHeinrich Herre, Helmut Wolter. mlq, 21(1):229-246, 1975. [doi]

Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten QuantorenHelmut Wolter. mlq, 21(1):321-330, 1975. [doi]

Sign in or sign up to see more results.

runs on WebDSL