Helmut Wolter

According to our database1, Helmut Wolter authored at least 14 papers between 1975 and 1993.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1993
Consequences of Schanuel's Condition for Zeros of Exponential Terms.
Math. Log. Q., 1993

On Roots of Exponential Terms.
Math. Log. Q., 1993

1989
Orderings in Exponential Fields of Term Defined Functions.
Math. Log. Q., 1989

1986
Some Remarks on Exponential Functions in Ordered Fields.
Math. Log. Q., 1986

1985
On the "Problem of the Last Root" for Exponential Terms.
Math. Log. Q., 1985

1984
Ordered Fields with Several exponential Functions.
Math. Log. Q., 1984

1983
On the Theory of exponential Fields.
Math. Log. Q., 1983

1981
Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren.
Math. Log. Q., 1981

1980
Untersuchungen zu Schwachen Logiken der Zweiten Stufe.
Math. Log. Q., 1980

1979
Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor.
Math. Log. Q., 1979

1978
Entscheidbarkeit der Theorie der Linearen Ordnung in L.
Math. Log. Q., 1978

1977
Entscheidbarkeit Der Theorie Der Linearen Ordnung In L.
Math. Log. Q., 1977

1975
Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren.
Math. Log. Q., 1975

Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren.
Math. Log. Q., 1975


  Loading...