James R. Geiser

Publication Activity (10 Years)

Years Active: 1968-1977
Publications (10 Years): 0

Publications

Jeanne Ferrante, James R. Geiser
An Efficient Decision Procedure for the Theory of Rational Order. Theor. Comput. Sci. 4 (2) (1977)
James R. Geiser
Commenting Proofs. IJCAI (1975)
James R. Geiser
A Formalization of Essenin-Volpin's Proof Theoretical Studies by Means of Nonstandard Analysis. J. Symb. Log. 39 (1) (1974)
James R. Geiser
Nonstandard Logic. J. Symb. Log. 33 (2) (1968)