Conferences in DBLP

Kurt Gödel Colloquium (KGC) (kgc)
1993 (conf/kgc/1993)

1. Egon Börger, Dean Rosenzweig
   The Mathematics of Set Predicates in Prolog. [Citation Graph (0, 0)][DBLP]
   Kurt Gödel Colloquium, 1993, pp:1-13 [Conf]
   
2. Robert Cowen
   Some Connections Between Set Theory and Computer Science. [Citation Graph (0, 0)][DBLP]
   Kurt Gödel Colloquium, 1993, pp:14-22 [Conf]
   
3. Solomon Feferman
   Gödel's Dialectica Interpretation and Its Two-Way Stretch. [Citation Graph (0, 0)][DBLP]
   Kurt Gödel Colloquium, 1993, pp:23-40 [Conf]
   
4. Petr Hájek
   Epistemic Entrenchment and Arthmetical Hierarchy (Abstract). [Citation Graph (0, 0)][DBLP]
   Kurt Gödel Colloquium, 1993, pp:41-42 [Conf]
   
5. Joseph Y. Halpern
   A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. [Citation Graph (0, 0)][DBLP]
   Kurt Gödel Colloquium, 1993, pp:43-60 [Conf]
   
6. V. Wiktor Marek
   Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract). [Citation Graph (0, 0)][DBLP]
   Kurt Gödel Colloquium, 1993, pp:61- [Conf]
   
7. Grigori Mints
   Strategies for Resolution Method in Non-classical Logics (Abstract). [Citation Graph (0, 0)][DBLP]
   Kurt Gödel Colloquium, 1993, pp:62- [Conf]
   
8. Leszek Pacholski
   Undecidability of Implication Problems in Logic Programming, Database Theory and Classical Logic. [Citation Graph (0, 0)][DBLP]
   Kurt Gödel Colloquium, 1993, pp:63-68 [Conf]
   
9. Giovanni Sambin, Silvio Valentini
   Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract). [Citation Graph (0, 0)][DBLP]
   Kurt Gödel Colloquium, 1993, pp:69-70 [Conf]
   
10. Sergei N. Artëmov, Tyko Straßen
    The Logic of the Gödel Proof Predicate. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:71-82 [Conf]
    
11. Leo Bachmair, Harald Ganzinger, Uwe Waldmann
    Superposition with Simplification as a Desision Procedure for the Monadic Class with Equality. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:83-96 [Conf]
    
12. N. P. Bamber
    Computation with Access to the Reals, but Using only Classical Machines. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:97-107 [Conf]
    
13. Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
    The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:108-119 [Conf]
    
14. Mario R. F. Benevides
    Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:120-131 [Conf]
    
15. Alberto Bottoni, Giorgio Levi
    The Inverse of Fitting's Functional. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:132-143 [Conf]
    
16. Stefan Brüning
    On Loop Detection in Connection Calculi. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:144-151 [Conf]
    
17. Newton C. A. da Costa, Francisco A. Doria
    On Arnold's Hilbert Symposium Problems. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:152-158 [Conf]
    
18. Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
    The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:159-171 [Conf]
    
19. Uwe Egly
    On Different Concepts of Function Introduction. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:172-183 [Conf]
    
20. Giovanni Faglia
    Double Exponential Inseparability Of Robinson Subsystem Q+ From The Unsatisfiable Sentences In The Language Of Addition. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:184-186 [Conf]
    
21. Giovanni Faglia, Paul Young
    In The Meaning Of Essentially Unprovable Theorems In The Presburger Theory Of Addition. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:187-189 [Conf]
    
22. Paul C. Gilmore
    A Syntactic Consistency Proof for NaDSet. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:190-201 [Conf]
    
23. Jean Goubault
    A Rule-based Algorithm for Rigid E-Unification. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:202-210 [Conf]
    
24. Tomi Janhunen, Ilkka Niemelä
    A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:211-222 [Conf]
    
25. Jan Johannsen
    On the Weakness of Sharply Bounded Polynomial Induction. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:223-230 [Conf]
    
26. Adam Kolany
    On the Logic of Hypergraphs. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:231-242 [Conf]
    
27. Martin Kummer, Frank Stephan
    Recursion Theoretic Properties of Frequency Computation and Bounded Queries (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:243-254 [Conf]
    
28. André Nies
    Interpreting True Arithmetic in Degree Structures. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:255-262 [Conf]
    
29. Michel Parigot
    Classical Proofs as Programs. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:263-276 [Conf]
    
30. Uwe Petermann
    Completeness of the Pool Calculus with an Open Built-in Theory. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:277-288 [Conf]
    
31. Regimantas Pliuskevicius
    On the Saturation Principle for a Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:289-300 [Conf]
    
32. Vladimir Yu. Sazonov, Andrei Voronkov
    A Construction of Typed Lambda Models Related to Feasible Computability. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:301-312 [Conf]
    
33. Grigori Schwarz, Miroslaw Truszczynski
    Nonmonotonic Reasoning is Sometimes Simpler. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:313-324 [Conf]
    
34. Dan E. Willard
    Self-Verifying Axiom Systems. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:325-336 [Conf]
    
35. Jirí Zlatuska
    Committed-Choice Concurrent Logic Programming in Linear Logic. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:337-348 [Conf]