Raymond D. Gumb - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2002

The Lazy Logic of Partial TermsRaymond D. Gumb. JSYML, 67(3):1065-1077, 2002.

2001

An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite DescriptionsRaymond D. Gumb. sLogica, 69(2):279-292, 2001.

2000

Model Sets in a Nonconstructive Logic of Partial Terms with Definite DescriptionsRaymond D. Gumb. tableaux 2000: 268-278

1989

A first course in program verification and the semantics of programming languagesRaymond D. Gumb. sigcse 1989: 146-150 [doi]

Programming logics - an introduction to verification and semanticsRaymond D. Gumb. Wiley, 1989.

Free logic is a natural logicRaymond D. Gumb. acm 1989: 466 [doi]

1987

Filming a Terrain under Uncertainty Using Temporal and Probahilistic ReasoningRaymond D. Gumb. AAAI 1987: 116-120

1986

Popperian conditional probability functions for expert systems (abstract)Raymond D. Gumb. acm 1986: 461 [doi]

1984

An Extended Joint Consistency Theorem for a Family of Free Modal Logics with EqualityRaymond D. Gumb. JSYML, 49(1):174-183, 1984.

1982

On the underlying logics of specification languagesRaymond D. Gumb. sigsoft, 7(4):21-23, 1982. [doi]

First Order Properties of Relations with the Monotonic Closure PropertyGeorge Weaver, Raymond D. Gumb. mlq, 28(1-3):1-5, 1982. [doi]

1981

Reasonable breadth-biased: A algorithmsRaymond D. Gumb. sigart, 78:12-13, 1981. [doi]

1979

The Completeness of Presupposition-Free Tense LogicRobert F. Barnes, Raymond D. Gumb. mlq, 25(13-18):193-208, 1979. [doi]

An extended joint consistency theorem for free logic with equalityRaymond D. Gumb. ndjfl, 20(2):321-335, 1979. [doi]

1977

A Mechanized Proof Procedure for Free Intensional LogicsRaymond D. Gumb. IJCAI 1977: 567-568

Language extensibility in extended Fortran: data types and pointer variablesRaymond D. Gumb. SIGCSE, 9(4):53-54, 1977. [doi]

1971

The inapplicability of the dictionary - Encyclopedia distinction to the semantics of natural languagesRaymond D. Gumb. ipm, 6(6):445-452, 1971. [doi]

Sign in or sign up to see more results.

runs on WebDSL