Publications :: Search

Show venue

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

Conference
Name:	Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings 1991
DBLP:	db/conf/pdk/pdk91.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 39  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Martin Aronsson, Lars-Henrik Eriksson. The GCLA II Programming Language.	Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings 1991	(0)	1991
	Conference paper Alessandro Artale, Francesca Cesarini, Giovanni Soda. Subsumption Computation on an Object-Oriented Data Model.	Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings 1991	(0)	1991
	Conference paper Franz Baader, Bernhard Hollunder. A Terminological Knowledge Representation System with Complete Inference Algorithms.	Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings 1991	(0)	1991
	Conference paper Rolf Backofen, Lutz Euler, Günther Görz. Distributed Disjunctions for LIFE.	Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings 1991	(0)	1991
	Conference paper Christoph Beierle, Gregor Meyer, Heiner Semle. A Brief Description of the PROTOS-L System.	Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings 1991	(0)	1991
	Conference paper Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov. Declarative and Procedural Paradigms - Do they Really Compete? (Panel).	Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings 1991	(0)	1991
	Conference paper Pierre E. Bonzon. Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic Machine.	Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings 1991	(0)	1991
	Conference paper Egon Börger, Elvinia Riccobene. Logical Operational Semantics of Parlog, Part I: And-Parallelism.	Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings 1991	(0)	1991
	Conference paper Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens. Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions.	Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings 1991	(0)	1991
	Conference paper Yves Caseau. Rule-Aided Constraint Resolution in LAURE.	Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings 1991	(0)	1991

Your query returned 39 matches in the database.