Publications :: Search

Show venue

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

Journal
Name:	Electr. Notes Theor. Comput. Sci.
Year:	2003
Volume:	72
Number:	3
DBLP:	db/journals/entcs/entcs72.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 48 of 48  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Maribel Fernández, Ian Mackie, Jorge Sousa Pinto. A Higher-Order Calculus for Graph Transformation.	Electr. Notes Theor. Comput. Sci. 2003, Volume 72	(0)	2007
	Conference paper Stefan Blom. Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting.	Electr. Notes Theor. Comput. Sci. 2003, Volume 72	(0)	2007
	Conference paper Enno Ohlebusch. Conditional Term Graph Rewriting with Indirect Sharing.	Electr. Notes Theor. Comput. Sci. 2003, Volume 72	(0)	2007
	Conference paper Clemens Grabmayer. A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs.	Electr. Notes Theor. Comput. Sci. 2003, Volume 72	(0)	2007
	Conference paper Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König. Inequational Deduction as Term Graph Rewriting.	Electr. Notes Theor. Comput. Sci. 2003, Volume 72	(0)	2007
	Conference paper Adam Bakewell. Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency.	Electr. Notes Theor. Comput. Sci. 2003, Volume 72	(0)	2007
	Conference paper Sylvain Lippi. Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus.	Electr. Notes Theor. Comput. Sci. 2003, Volume 72	(0)	2007
	Conference paper Ian Mackie, Detlef Plump. Preface.	Electr. Notes Theor. Comput. Sci. 2003, Volume 72	(0)	2007
	Conference paper Reiko Heckel, Tom Mens, Michel Wermelinger. Preface.	Electr. Notes Theor. Comput. Sci. 2003, Volume 72	(0)	2003
	Conference paper Paolo Bottoni, Mark Minas. Preface.	Electr. Notes Theor. Comput. Sci. 2003, Volume 72	(0)	2003

Show item 1 to 48 of 48  

Your query returned 48 matches in the database.