Search the dblp DataBase
Paul C. Gilmore :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Paul C. Gilmore A Foundation for the Entity Relationship Approach: How and Why. [Citation Graph (1, 15)][DBLP ] ER, 1987, pp:95-113 [Conf ] Paul C. Gilmore A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1959, pp:265-272 [Conf ] Paul C. Gilmore A Syntactic Consistency Proof for NaDSet. [Citation Graph (0, 0)][DBLP ] Kurt Gödel Colloquium, 1993, pp:190-201 [Conf ] Paul C. Gilmore NaDSyL and some Applications. [Citation Graph (0, 0)][DBLP ] Kurt Gödel Colloquium, 1997, pp:153-166 [Conf ] Paul C. Gilmore Partial Functions in an Impredicative Simple Theory of Types. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1999, pp:186-201 [Conf ] Paul C. Gilmore An Examination of the Geometry Theorem Machine. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1970, v:1, n:3, pp:171-187 [Journal ] Peter J. Denning , Edward A. Feigenbaum , Paul C. Gilmore , Anthony C. Hearn , Robert W. Ritchie , J. F. Traub A Discipline in Crisis. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1981, v:24, n:6, pp:370-374 [Journal ] Paul C. Gilmore An Intensional Type Theory: Motivation and Cut-Elimination. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2001, v:66, n:1, pp:383-400 [Journal ] Paul C. Gilmore Some Forms of Completeness. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1962, v:27, n:3, pp:344-352 [Journal ] Paul C. Gilmore Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:393-411 [Journal ] Paul C. Gilmore , Donald A. Martin , Elliott Mendelson Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1975, v:40, n:2, pp:299-304 [Journal ] Paul C. Gilmore , George K. Tsiknis A Logic for Category Theory. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:111, n:1&2, pp:211-252 [Journal ] Paul C. Gilmore , George K. Tsiknis Logical Foundations for Programming Semantics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:111, n:1&2, pp:253-290 [Journal ] Search in 0.003secs, Finished in 0.003secs