Publications :: Search

Show venue

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

Conference
Name:	Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings 2002
DBLP:	db/conf/rta/rta2002.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 29  

Select a publication
Show	Title	Venue	Rating	Date
	Jaco van de Pol. JITty: A Rewriter with Strategy Annotations.	Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings 2002	(0)	2002
	Olivier Bournez, Claude Kirchner. Probabilistic Rewrite Strategies. Applications to ELAN.	Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings 2002	(0)	2002
	Franz Baader. Engineering of Logics for the Content-Based Representation of Information.	Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings 2002	(0)	2002
	Martin Bravenboer, Eelco Visser. Rewriting Strategies for Instruction Selection.	Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings 2002	(0)	2002
	Franz Baader, Cesare Tinelli. Combining Decision Procedures for Positive Theories Sharing Constructors.	Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings 2002	(0)	2002
	Witold Charatonik, Jean-Marc Talbot. Atomic Set Constraints with Projection.	Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings 2002	(0)	2002
	David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen. Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae.	Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings 2002	(0)	2002
	Daniel J. Dougherty, Tomasz Wierzbicki. A Decidable Variant of Higher Order Matching.	Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings 2002	(0)	2002
	Irène Durand. Autowrite: A Tool for Checking Properties of Term Rewriting Systems.	Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings 2002	(0)	2002
	Germain Faure, Claude Kirchner. Exceptions in the Rewriting Calculus.	Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings 2002	(0)	2002

Your query returned 29 matches in the database.