Publications :: Search

Show venue

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

Conference
Name:	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings 2000
DBLP:	db/conf/cl/cl2000.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 91  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Kung-Kiu Lau, Mario Ornaghi. Isoinitial Semantics for Logic Programs.	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings 2000	(0)	2000
	Conference paper José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira. Partial Models of Extended Generalized Logic Programs.	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings 2000	(0)	2000
	Conference paper Helko Lehmann, Michael Leuschel. Decidability Results for the Propositional Fluent Calculus.	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings 2000	(0)	2000
	Conference paper Laurent Allain, Pascal Yim. Specification of an Active Database System Application Using Dynamic Relation Nets.	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings 2000	(0)	2000
	Conference paper Supratik Mukhopadhyay, Andreas Podelski. Model Checking for Timed Logic Processes.	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings 2000	(0)	2000
	Conference paper Edgar Altamirano, Gonzalo Escalada-Imaz. Finding Tractable Formulas in NNF.	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings 2000	(0)	2000
	Conference paper Krzysztof R. Apt. A Denotational Semantics for First-Order Logic.	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings 2000	(0)	2000
	Conference paper Tobias Müller. Promoting Constraints to First-Class Status.	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings 2000	(0)	2000
	Conference paper Mutsumi Nakamura, Chitta Baral. Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases.	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings 2000	(0)	2000
	Conference paper Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer. Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings 2000	(0)	2000

Show item 1 to 10 of 91  

Your query returned 91 matches in the database.