Publications :: Search

Show venue

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

Conference
Name:	Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings 1994
DBLP:	db/conf/lopstr/lopstr94.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 27  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Frank van Harmelen. A Model of Costs and Benefits of Meta-Level Computation.	Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings 1994	(0)	1994
	Conference paper Antonio Brogi, Simone Contiero. Gödel as a Meta-Language for Composing Logic Programs.	Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings 1994	(0)	1994
	Conference paper Dmitri Boulanger, Maurice Bruynooghe. Using Call/Exit Analysis for Logic Program Transformation.	Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings 1994	(0)	1994
	Conference paper Marco Comini, Giorgio Levi, Giuliana Vitiello. Abstract Debugging of Logic Program.	Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings 1994	(0)	1994
	Conference paper J. Cook, John P. Gallagher. A Transformation System for Definite Programs Based on Termination Analysis.	Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings 1994	(0)	1994
	Conference paper Giuseppe Attardi, Maria Simi. Building Proofs in Context.	Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings 1994	(0)	1994
	Conference paper Barbara Dunin-Keplicz. An Architecture with Multiple Meta-Levels for the Development of Correct Programs.	Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings 1994	(0)	1994
	Conference paper Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua. A Basis for a Multi-Level Meta-Logic Programming Language.	Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings 1994	(0)	1994
	Conference paper David A. Basin. Logic Frameworks for Logic Programs.	Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings 1994	(0)	1994
	Conference paper N. Bensaou, Irène Guessarian. An Extended Transformation System for CLP Programs.	Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings 1994	(0)	1994

Show item 1 to 10 of 27  

Your query returned 27 matches in the database.