Raymond D. Gumb

17 papers A* 2A 1B 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2002 J jnl
The Lazy Logic of Partial Terms.
J. Symb. Log.
Raymond D. Gumb
2001 J jnl
An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions.
Stud Logica
Raymond D. Gumb
2000 B conf
Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions.
TABLEAUX
Raymond D. Gumb
1989 A conf
A first course in program verification and the semantics of programming languages.
SIGCSE
Raymond D. Gumb
1989 — conf
Free logic is a natural logic.
ACM Conference on Computer Science
Raymond D. Gumb
1989 — book
Programming logics - an introduction to verification and semantics.
Raymond D. Gumb
1987 A* conf
Filming a Terrain under Uncertainty Using Temporal and Probahilistic Reasoning.
AAAI
Raymond D. Gumb
1986 — conf
Popperian conditional probability functions for expert systems (abstract).
ACM Conference on Computer Science
Raymond D. Gumb
1984 J jnl
An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality.
J. Symb. Log.
Raymond D. Gumb
1982 J jnl
First Order Properties of Relations with the Monotonic Closure Property.
Math. Log. Q.
George Weaver, Raymond D. Gumb
1982 J jnl
On the underlying logics of specification languages.
ACM SIGSOFT Softw. Eng. Notes
Raymond D. Gumb
1981 J jnl
Reasonable breadth-biased: A algorithms.
SIGART Newsl.
Raymond D. Gumb
1979 J jnl
An extended joint consistency theorem for free logic with equality.
Notre Dame J. Formal Log.
Raymond D. Gumb
1979 J jnl
The Completeness of Presupposition-Free Tense Logic.
Math. Log. Q.
Robert F. Barnes, Raymond D. Gumb
1977 A* conf
A Mechanized Proof Procedure for Free Intensional Logics.
IJCAI
Raymond D. Gumb
1977 J jnl
Language extensibility in extended Fortran: data types and pointer variables.
ACM SIGCSE Bull.
Raymond D. Gumb
1971 J jnl
The inapplicability of the dictionary - Encyclopedia distinction to the semantics of natural languages.
Inf. Storage Retr.
Raymond D. Gumb