Natural limitations of decisions procedures for arithmetic with bounded quantifiers.
Daniele Mundici (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Daniele Mundici (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Dirk Siefkes (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Wolfgang Thomas (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Andreas Blass (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Martin Stein (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H. Vogel (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Peter Päppinghaus (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
L. Gordeev (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
E.G.K. López-Escobar (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Salvatore Caporaso (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R. Haberthür (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Stephen G. Simpson (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Andrea Cantini (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: