Publications :: Search

Show venue

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

Conference
Name:	Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings 1992
DBLP:	db/conf/meta/meta92.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 23  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Reem Bahgat. The Pandora Deadlock Handler Meta-Level Relation.	Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings 1992	(0)	1992
	Conference paper Kerima Benkerimi, Patricia M. Hill. Object-Oriented Programming in Gödel: An Experiment.	Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings 1992	(0)	1992
	Conference paper Piero A. Bonatti. Model Theoretic Semantics for Demo.	Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings 1992	(0)	1992
	Conference paper Annalisa Bossi, Nicoletta Cocco, Sandro Etalle. Transforming Normal Programs by Replacement.	Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings 1992	(0)	1992
	Conference paper Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini. Meta for Modularising Logic Programming.	Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings 1992	(0)	1992
	Conference paper Maurice Bruynooghe, Gerda Janssens. Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs.	Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings 1992	(0)	1992
	Conference paper Luis Fariñas del Cerro, Andreas Herzig. Metaprogramming Through Intensional Deduction: Some Examples.	Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings 1992	(0)	1992
	Conference paper Iliano Cervesato, Gianfranco Rossi. Logic Meta-Programming Facilities in 'LOG.	Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings 1992	(0)	1992
	Conference paper Henning Christiansen. A Complete Resolution method for Logical Meta-Programming Languages.	Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings 1992	(0)	1992
	Conference paper Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone. Reflective Agents in Metalogic Programming.	Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings 1992	(0)	1992

Show item 1 to 10 of 23  

Your query returned 23 matches in the database.