Publications :: Search

Show venue

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

Conference
Name:	Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994
DBLP:	db/conf/ccl/ccl94.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 26  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Jürgen Avenhaus, Carlos Loría-Sáenz. Higher Order Conditional Rewriting and Narrowing.	Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994	(0)	1994
	Conference paper Leo Bachmair, Harald Ganzinger. Buchberger's Algorithm: A Constraint-Based Completion Procedure.	Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994	(0)	1994
	Conference paper Rolf Backofen, Ralf Treinen. How to Win a Game with Features.	Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994	(0)	1994
	Conference paper Peter Barth. Simplifying Clausal Satisfiability Problems.	Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994	(0)	1994
	Conference paper Renate Beckmann, Ulrich Bieker, Ingolf Markhof. Application of Constraint Logic Programming for VLSI CAD Tools.	Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994	(0)	1994
	Conference paper Alexandre Boudet, Evelyne Contejean. "Syntactic" AC-Unification.	Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994	(0)	1994
	Conference paper Witold Charatonik. Set Constraints in Some Equational Theories.	Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994	(0)	1994
	Conference paper Philippe Codognet, Giuseppe Nardiello. Path Consistency in clp(FD).	Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994	(0)	1994
	Conference paper Max Dauchet. Symbolic Constraints and Tree Automata.	Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994	(0)	1994
	Conference paper Rémi Gilleron, Sophie Tison, Marc Tommasi. Some new Decidability Results on Positive and Negative Set Constraints.	Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994	(0)	1994

Show item 1 to 10 of 26  

Your query returned 26 matches in the database.