Publications :: Search

Show venue

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

Conference
Name:	Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings 1999
DBLP:	db/conf/csl/csl98.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 28  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Hans Kleine Büning. An Upper Bound for Minimal Resolution Refutations.	Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings 1999	(0)	1998
	Conference paper Matthias Baaz, Helmut Veith. Quantifier Elimination in Fuzzy Logic.	Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings 1999	(0)	1998
	Conference paper Thorsten Altenkirch. Logical Relations and Inductive/Coinductive Types.	Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings 1999	(0)	1998
	Conference paper Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet. Complexity Classes and Rewrite Systems with Polynomial Interpretation.	Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings 1999	(0)	1998
	Conference paper Gilles Barthe. Existence and Uniqueness of Normal Forms in Pure Type Systems with betaeta-Conversion.	Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings 1999	(0)	1998
	Conference paper Uwe Egly. Quantifers and the System KE: Some Surprising Results.	Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings 1999	(0)	1998
	Conference paper Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi. On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases.	Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings 1999	(0)	1998
	Conference paper Petr Hájek. Trakhtenbrot Theorem and Fuzzy Logic.	Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings 1999	(0)	1998
	Conference paper H. Khanh Hoang. Choice Construct and Lindström Logics.	Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings 1999	(0)	1998
	Conference paper David Kempe, Arno Schöegge. On the Power of Quantifers in First-Order Algebraic Specification.	Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings 1999	(0)	1998

Show item 1 to 10 of 28  

Your query returned 28 matches in the database.