Search results for "rewriting"

Hits ?▲	Authors	Title	Venue	Year	Link
21	Marija Kulas, Christoph Beierle	Defining Standard Prolog in Rewriting Logic.	WRLA	2000	DBLP DOI BibTeX RDF
21	Martin Leucker, Thomas Noll 0001	Rewriting Logic as a Framework for Generic Verification Tools.	WRLA	2000	DBLP DOI BibTeX RDF
21	Dirk Pattinson	Modal Logic for Rewriting Theories.	WRLA	2000	DBLP DOI BibTeX RDF
21	Horatiu Cirstea, Claude Kirchner	The simply typed rewriting calculus.	WRLA	2000	DBLP DOI BibTeX RDF
21	Hendrik Hilberdink	New Foundations for Rewriting Logic.	WRLA	2000	DBLP DOI BibTeX RDF
21	Grit Denker, José Meseguer 0001, Carolyn L. Talcott	Rewriting Semantics of Meta-Objects and Composable Distributed Services.	WRLA	2000	DBLP DOI BibTeX RDF
21	Toshinori Takai, Yuichi Kaji, Hiroyuki Seki	Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability.	RTA	2000	DBLP DOI BibTeX RDF
21	Evelyne Contejean, Antoine Coste, Benjamin Monate	Rewriting Techniques in Theoretical Physics.	RTA	2000	DBLP DOI BibTeX RDF
21	Eelco Visser, Zine-El-Abidine Benaissa	A core language for rewriting.	WRLA	1998	DBLP DOI BibTeX RDF
21	Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci	CCS semantics via proved transition systems and rewriting logic.	WRLA	1998	DBLP DOI BibTeX RDF
21	Manuel Clavel	Reflection in general logics, rewriting logic, and Maude.	WRLA	1998	DBLP DOI BibTeX RDF
21	José Meseguer 0001, Carolyn L. Talcott	Mapping OMRS to rewriting logic.	WRLA	1998	DBLP DOI BibTeX RDF
21	Peter Borovanský	Controlling rewriting: study and implementation of a strategy formalism.	WRLA	1998	DBLP DOI BibTeX RDF
21	W. Marco Schorlemmer	Rewriting logic as a logic of special relations.	WRLA	1998	DBLP DOI BibTeX RDF
21	L. J. Steggles, Piotr Kosiuczenko	A timed rewriting logic semantics for SDL: A case study of alternating bit protocol.	WRLA	1998	DBLP DOI BibTeX RDF
21	Roberto Bruni, José Meseguer 0001, Ugo Montanari	Internal strategies in a rewriting implementation of tile systems.	WRLA	1998	DBLP DOI BibTeX RDF
21	Mark van den Brand, Paul Klint, Chris Verhoef	Term rewriting for sale.	WRLA	1998	DBLP DOI BibTeX RDF
21	Steven Eker	Term rewriting with operator evaluation strategies.	WRLA	1998	DBLP DOI BibTeX RDF
21	Peter D. Mosses	Semantics, modularity, and rewriting logic.	WRLA	1998	DBLP DOI BibTeX RDF
21	Friedrich Otto	On the Property of Preserving Regularity for String-Rewriting Systems.	RTA	1997	DBLP DOI BibTeX RDF
21	Kazuhiro Ogata 0001, Koichi Ohhara, Kokichi Futatsugi	TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems.	RTA	1997	DBLP DOI BibTeX RDF
21	Yves Lafont	Two-Dimensional Rewriting.	RTA	1997	DBLP DOI BibTeX RDF
21	Yong Sun	Term Rewriting and Hoare Logic- Coded Rewriting.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
21	Claude Marché	Normalized Rewriting: An Alternative to Rewriting Modulo a Set of Equations.	J. Symb. Comput.	1996	DBLP DOI BibTeX RDF
21	Carolyn L. Talcott	An actor rewriting theory.	WRLA	1996	DBLP DOI BibTeX RDF
21	Fabio Gadducci, Ugo Montanari	Tiles, rewriting rules and CCS.	WRLA	1996	DBLP DOI BibTeX RDF
21	Narciso Martí-Oliet, José Meseguer 0001	Rewriting logic as a logical and semantic framework.	WRLA	1996	DBLP DOI BibTeX RDF
21	Christopher Landauer	Discrete event systems in rewriting logic.	WRLA	1996	DBLP DOI BibTeX RDF
21	Manuel Clavel, José Meseguer 0001	Reflection and strategies in rewriting logic.	WRLA	1996	DBLP DOI BibTeX RDF
21	Hiroyuki Miyoshi	Modelling conditional rewriting logic in structured categories.	WRLA	1996	DBLP DOI BibTeX RDF
21	Peter Csaba Ölveczky, José Meseguer 0001	Specifying real-time systems in rewriting logic.	WRLA	1996	DBLP DOI BibTeX RDF
21	Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli	Distributed logic objects: A fragment of rewriting logic and its implementation.	WRLA	1996	DBLP DOI BibTeX RDF
21	Razvan Diaconescu	Foundations of behavioural specification in rewriting logic.	WRLA	1996	DBLP DOI BibTeX RDF
21	Reinhard Bündgen, Carsten Sinz, Jochen Walter	ReDuX 1.5: New Facets of Rewriting.	RTA	1996	DBLP DOI BibTeX RDF
21	David Clark 0001, Richard Kennaway	Some properties of non-orthogonal term graph rewriting systems.	SEGRAGRA	1995	DBLP DOI BibTeX RDF
21	Marinus J. Plasmeijer	CLEAN: a programming environment based on term graph rewriting.	SEGRAGRA	1995	DBLP DOI BibTeX RDF
21	Miquel Monserrat, Francesc Rosselló, Joan Torrens, Gabriel Valiente	Hypergraph rewriting using conformisms.	SEGRAGRA	1995	DBLP DOI BibTeX RDF
21	Reiko Heckel, Annika Wagner	Ensuring consistency of conditional graph rewriting - a constructive approach.	SEGRAGRA	1995	DBLP DOI BibTeX RDF
21	Sabine Kuske	Implementing beta-reduction by hypergraph rewriting.	SEGRAGRA	1995	DBLP DOI BibTeX RDF
21	Peter Heimann, Gregor Joeris, Carl-Arndt Krapp, Bernhard Westfechtel	A programmed graph rewriting system for software process management.	SEGRAGRA	1995	DBLP DOI BibTeX RDF
21	Annegret Habel, Detlef Plump	Unification, rewriting, and narrowing on term graphs.	SEGRAGRA	1995	DBLP DOI BibTeX RDF
21	Richard Banach	DPO rewriting and abstract semantics via opfibrations.	SEGRAGRA	1995	DBLP DOI BibTeX RDF
21	Richard Kennaway	Infinitary rewriting and cyclic graphs.	SEGRAGRA	1995	DBLP DOI BibTeX RDF
21	M. Ronan Sleep	SEMAGRAPH: the theory and practice of term graph rewriting.	SEGRAGRA	1995	DBLP DOI BibTeX RDF
21	Michel Bauderon	Parallel rewriting of graphs through the pullback approach.	SEGRAGRA	1995	DBLP DOI BibTeX RDF
21	Jan Willem Klop	Term Graph Rewriting.	HOA	1995	DBLP DOI BibTeX RDF
21	Steffen van Bakel, Maribel Fernández	Approximation and Normalization Results for Typeable Term Rewriting Systems.	HOA	1995	DBLP DOI BibTeX RDF
21	Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop	Problems in Rewriting III.	RTA	1995	DBLP DOI BibTeX RDF
21	Mark E. Stickel	Term Rewriting in Contemporary Resolution Theorem Proving (Abstract).	RTA	1995	DBLP DOI BibTeX RDF
21	Jan C. Verheul, Peter G. Kluit	The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving Mappings.	CTRS	1994	DBLP DOI BibTeX RDF
21	Gregory Kucherov, Michaël Rusinowitch	The Complexity of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables.	CTRS	1994	DBLP DOI BibTeX RDF
21	Enno Ohlebusch	Modular Properties of Constructor-Sharing Conditional Term Rewriting Systems.	CTRS	1994	DBLP DOI BibTeX RDF
21	Yoshihito Toyama, Michio Oyamaguchi	Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems.	CTRS	1994	DBLP DOI BibTeX RDF
21	Paola Inverardi	Rewriting for Preorder Relations.	CTRS	1994	DBLP DOI BibTeX RDF
21	Andrea Corradini 0001, Francesca Rossi 0001	Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
21	Arie van Deursen, T. B. Dinesh	Origin Tracking for Higher-Order Term Rewriting Systems.	HOA	1993	DBLP DOI BibTeX RDF
21	Monica Nesi, Valeria de Paiva, Eike Ritter	Rewriting Properties of Combinators for Rudimentary Linear Logic.	HOA	1993	DBLP DOI BibTeX RDF
21	Françoise Bellegarde	A Transformation System Combining Partial Evaluation with Term Rewriting.	HOA	1993	DBLP DOI BibTeX RDF
21	Michael Löwe, Martin Beyer	AGG - An Implementation of Algebraic Graph Rewriting.	RTA	1993	DBLP DOI BibTeX RDF
21	Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop	More Problems in Rewriting.	RTA	1993	DBLP DOI BibTeX RDF
21	Hans Zantema	Type Removal in Term Rewriting.	CTRS	1992	DBLP DOI BibTeX RDF
21	Lars With	Completeness and Confluence of Order-Sorted Term Rewriting.	CTRS	1992	DBLP DOI BibTeX RDF
21	David A. Plaisted, Geoffrey D. Alexander, Heng Chu, Shie-Jue Lee	Conditional Term Rewriting and First-Order Theorem Proving.	CTRS	1992	DBLP DOI BibTeX RDF
21	Karl Meinke	Algebraic Semantics of Rewriting Terms and Types.	CTRS	1992	DBLP DOI BibTeX RDF
21	Charles Hoot	Completion for Constrained Term Rewriting Systems.	CTRS	1992	DBLP DOI BibTeX RDF
21	Nachum Dershowitz, Subrata Mitra	Path Orderings for Termination of Associative-Commutative Rewriting.	CTRS	1992	DBLP DOI BibTeX RDF
21	Detlef Plump	Collapsed Tree Rewriting: Completeness, Confluence, and Modularity.	CTRS	1992	DBLP DOI BibTeX RDF
21	Sergio Antoy	Normalization by Leftmost Innermost Rewriting.	CTRS	1992	DBLP DOI BibTeX RDF
21	Enno Ohlebusch	Combinations of Simplifying Conditional Term Rewriting Systems.	CTRS	1992	DBLP DOI BibTeX RDF
21	Yabo Wang, David Lorge Parnas	Trace Rewriting Systems.	CTRS	1992	DBLP DOI BibTeX RDF
21	Richard Banach	Simple Type Inference for Term Graph Rewriting Systems.	CTRS	1992	DBLP DOI BibTeX RDF
21	Hans Zantema	Termination of Term Rewriting by Interpretation.	CTRS	1992	DBLP DOI BibTeX RDF
21	Stefan Kahrs	Context Rewriting.	CTRS	1992	DBLP DOI BibTeX RDF
21	Sergei G. Vorobyov	Could Orders Be Captured By Term Rewriting Systems?	CTRS	1992	DBLP DOI BibTeX RDF
21	Hantao Zhang 0001	Implementing Contextual Rewriting.	CTRS	1992	DBLP DOI BibTeX RDF
21	Bernhard Gramlich	Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems.	CTRS	1992	DBLP DOI BibTeX RDF
21	Bertrand Delsart	A New Approach to General E-Unification Based on Conditional Rewriting Systems.	CTRS	1992	DBLP DOI BibTeX RDF
21	Michel Billaud	ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities.	RTA	1991	DBLP DOI BibTeX RDF
21	Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop	Open Problems in Rewriting.	RTA	1991	DBLP DOI BibTeX RDF
21	Hitoshi Aida, Joseph A. Goguen, José Meseguer 0001	Compiling Concurrent Rewriting onto the Rewrite Rule Machine.	CTRS	1990	DBLP DOI BibTeX RDF
21	Yiyun Chen, Michael J. O'Donnell	Testing Confluence of Nonterminating Rewriting Systems.	CTRS	1990	DBLP DOI BibTeX RDF
21	Detlef Plump	Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems.	CTRS	1990	DBLP DOI BibTeX RDF
21	Bernard R. Hodgson, Clement F. Kent	A Survey of Ordinal Interpretations of Type epsilon0for Termination of Rewriting Systems.	CTRS	1990	DBLP DOI BibTeX RDF
21	Aart Middeldorp	Confluence of the Disjoint Union of Conditional Term Rewriting Systems.	CTRS	1990	DBLP DOI BibTeX RDF
21	Robert Nieuwenhuis, Fernando Orejas	Clausal Rewriting.	CTRS	1990	DBLP DOI BibTeX RDF
21	Franco Barbanera	Adding Algebraic Rewriting to the Calculus of Constructions: Strong Normalization Preserved.	CTRS	1990	DBLP DOI BibTeX RDF
21	François Bronsard, Uday S. Francois	Conditional Rewriting in Focus.	CTRS	1990	DBLP DOI BibTeX RDF
21	Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers	Parallel Graph Rewriting on Loosely Coupled Machine Architectures.	CTRS	1990	DBLP DOI BibTeX RDF
21	Jan Willem Klop, Roel C. de Vrijer	Extended Term Rewriting Systems.	CTRS	1990	DBLP DOI BibTeX RDF
21	José Meseguer 0001	Conditional Rewriting Logic: Deduction, Models and Concurrency.	CTRS	1990	DBLP DOI BibTeX RDF
21	Aart Middeldorp	Modular Aspects of Properties of Term Rewriting Systems Related to Normal Forms.	RTA	1989	DBLP DOI BibTeX RDF
21	Max Dauchet, Aline Deruyver	Compilation of Ground Term Rewriting Systems and Applications.	RTA	1989	DBLP DOI BibTeX RDF
21	Tohru Naoi, Yasuyoshi Inagaki	Algebraic Semantics and Complexity of Term Rewriting Systems.	RTA	1989	DBLP DOI BibTeX RDF
21	Stéphane Kaplan, Christine Choppy	Abstract Rewriting with Concrete Operations.	RTA	1989	DBLP DOI BibTeX RDF
21	Jürgen Avenhaus, Klaus Madlener, Joachim Steinbach	COMTES - An Experimental Environment for the Completion of Term Rewriting Systems.	RTA	1989	DBLP DOI BibTeX RDF
21	Siva Anantharaman, Jieh Hsiang, Jalel Mzali	SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.	RTA	1989	DBLP DOI BibTeX RDF
21	Garrett Birkhoff	Term Rewriting and Universal Algebra in Historical Perspective (Abstract of Invited Lecture).	RTA	1989	DBLP DOI BibTeX RDF
21	Uday S. Reddy	Rewriting Techniques for Program Synthesis.	RTA	1989	DBLP DOI BibTeX RDF
21	Sanjai Narain	Optimization by Non-Deterministic, Lazy Rewriting.	RTA	1989	DBLP DOI BibTeX RDF
21	Dana May Latch, Ron Sigal	A Local Termination Property for Term Rewriting Systems.	RTA	1989	DBLP DOI BibTeX RDF