James R. Geiser

According to our database¹, James R. Geiser authored at least 4 papers between 1968 and 1977.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1977

An Efficient Decision Procedure for the Theory of Rational Order.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1977

1975

Commenting Proofs.

[BibT_eX]

[DOI]

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974

A Formalization of Essenin-Volpin's Proof Theoretical Studies by Means of Nonstandard Analysis.

[BibT_eX]

[DOI]

J. Symb. Log., 1974

1968

Nonstandard Logic.

[BibT_eX]

[DOI]

J. Symb. Log., 1968