Publications :: Search

Show venue

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

Conference
Name:	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings 1997
DBLP:	db/conf/kgc/kgc97.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 27  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Leo Bachmair. Paramodulation, Superposition, and Simplification.	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings 1997	(0)	1997
	Conference paper David A. Basin, Seán Matthews, Luca Viganò. A New Method for Bounding the Complexity of Modal Logics.	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings 1997	(0)	1997
	Conference paper Lev D. Beklemishev. Parameter Free Induction and Reflection.	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings 1997	(0)	1997
	Conference paper Bernd Borchert, Frank Stephan. Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory.	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings 1997	(0)	1997
	Conference paper Wilfried Buchholz. Explaining Gentzen's Consistency Proof within Infinitary Proof Theory.	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings 1997	(0)	1997
	Conference paper Samuel R. Buss. Alogtime Algorithms for Tree Isomorphism, Comparison, and Canonization.	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings 1997	(0)	1997
	Conference paper Walter Alexandre Carnielli, Paulo A. S. Veloso. Ultrafilter Logic and Generic Reasoning.	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings 1997	(0)	1997
	Conference paper Agata Ciabattoni, Duccio Luchi. Two Connections Between Linear Logic and Lukasiewicz Logics.	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings 1997	(0)	1997
	Conference paper Uwe Egly, Karin Genther. Structuring of Computer-Generated Proofs by Cut Introduction.	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings 1997	(0)	1997
	Conference paper Lorenzo Tortora de Falco. Denotational Semantics for Polarized (But-non-constrainted) LK by Means of the Additives.	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings 1997	(0)	1997

Show item 1 to 10 of 27  

Your query returned 27 matches in the database.