Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|