Raymond D. Gumb

According to our database, Raymond D. Gumb authored at least 17 papers between 1971 and 2002.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2002

The Lazy Logic of Partial Terms.

Raymond D. Gumb

J. Symb. Log., 2002

2001

An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions.

Raymond D. Gumb

Stud Logica, 2001

2000

Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions.

Raymond D. Gumb

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

1989

A first course in program verification and the semantics of programming languages.

Raymond D. Gumb

Proceedings of the 20th SIGCSE Technical Symposium on Computer Science Education, 1989

Free logic is a natural logic.

Raymond D. Gumb

Proceedings of the Computer Trends in the 1990s, 1989

Programming logics - an introduction to verification and semantics.

Raymond D. Gumb

Wiley, ISBN: 978-0-471-60539-3, 1989

1987

Filming a Terrain under Uncertainty Using Temporal and Probahilistic Reasoning.

Raymond D. Gumb

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

Popperian conditional probability functions for expert systems (abstract).

Raymond D. Gumb

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1984

An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality.

Raymond D. Gumb

J. Symb. Log., 1984

1982

On the underlying logics of specification languages.

Raymond D. Gumb

ACM SIGSOFT Softw. Eng. Notes, 1982

First Order Properties of Relations with the Monotonic Closure Property.

George Weaver, Raymond D. Gumb

Math. Log. Q., 1982

1981

Reasonable breadth-biased: A algorithms.

Raymond D. Gumb

SIGART Newsl., 1981

1979

An extended joint consistency theorem for free logic with equality.

Raymond D. Gumb

Notre Dame J. Formal Log., 1979

The Completeness of Presupposition-Free Tense Logic.

Robert F. Barnes, Raymond D. Gumb

Math. Log. Q., 1979

1977

Language extensibility in extended Fortran: data types and pointer variables.

Raymond D. Gumb

ACM SIGCSE Bull., 1977

A Mechanized Proof Procedure for Free Intensional Logics.

Raymond D. Gumb

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1971

The inapplicability of the dictionary - Encyclopedia distinction to the semantics of natural languages.

Raymond D. Gumb

Inf. Storage Retr., 1971