Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings 1993
DBLP:	db/conf/kgc/kgc93.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 35  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Sergei N. Artëmov, Tyko Straßen. The Logic of the Gödel Proof Predicate.	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings 1993	(0)	1993
	Conference paper Leo Bachmair, Harald Ganzinger, Uwe Waldmann. Superposition with Simplification as a Desision Procedure for the Monadic Class with Equality.	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings 1993	(0)	1993
	Conference paper N. P. Bamber. Computation with Access to the Reals, but Using only Classical Machines.	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings 1993	(0)	1993
	Conference paper Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt. The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings 1993	(0)	1993
	Conference paper Mario R. F. Benevides. Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction.	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings 1993	(0)	1993
	Conference paper Egon Börger, Dean Rosenzweig. The Mathematics of Set Predicates in Prolog.	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings 1993	(0)	1993
	Conference paper Alberto Bottoni, Giorgio Levi. The Inverse of Fitting's Functional.	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings 1993	(0)	1993
	Conference paper Stefan Brüning. On Loop Detection in Connection Calculi.	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings 1993	(0)	1993
	Conference paper Newton C. A. da Costa, Francisco A. Doria. On Arnold's Hilbert Symposium Problems.	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings 1993	(0)	1993
	Conference paper Robert Cowen. Some Connections Between Set Theory and Computer Science.	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings 1993	(0)	1993

Show item 1 to 10 of 35  

Your query returned 35 matches in the database.