Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Takahito Aoto 0001, Toshiyuki Yamada, Yuki Chiba |
Natural Inductive Theorems for Higher-Order Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 107-121, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Friedrich Neurauter, Aart Middeldorp |
Revisiting Matrix Interpretations for Proving Termination of Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 251-266, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Marc Brockschmidt, Carsten Otto, Jürgen Giesl |
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 155-170, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Ashish Tiwari 0001 |
Rewriting in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 3-8, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Naoki Nishida 0001, Masahiko Sakai, Toshiki Sakabe |
Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 267-282, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Takahito Aoto 0001, Yoshihito Toyama |
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 91-106, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Patrick Bahr |
Modes of Convergence for Term Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 139-154, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Sophie Tison |
Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's New?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 1-2, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen |
Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 61-70, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise |
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 171-186, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky |
A Rewriting-Logic-Based Technique for Modeling Thermal Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTRTS ![In: Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Norway, April 6-9, 2010., pp. 82-100, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Bernhard Gramlich, Felix Schernhammer |
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWS ![In: Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming, IWS 2010, Edinburgh, UK, 9th July 2010., pp. 35-50, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Kristoffer H. Rose |
Higher-order Rewriting for Executable Compiler Specifications ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOR ![In: Proceedings 5th International Workshop on Higher-Order Rewriting, HOR 2010, Edinburgh, UK, July 14, 2010., pp. 31-45, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Maribel Fernández, Olivier Namet |
Strategic programming on graph rewriting systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWS ![In: Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming, IWS 2010, Edinburgh, UK, 9th July 2010., pp. 1-20, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Musab AlTurki, José Meseguer 0001 |
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTRTS ![In: Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Norway, April 6-9, 2010., pp. 26-45, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Stefan Kahrs |
Infinitary Rewriting: Foundations Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 161-176, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Patrick Bahr |
Partial Order Infinitary Term Rewriting and Böhm Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 67-84, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom |
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 85-102, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl |
Automated Termination Analysis of Java Bytecode by Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 259-276, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Jakob Grue Simonsen |
Weak Convergence and Uniform Normalization in Infinitary Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 311-324, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Samuel Mimram |
Computing Critical Pairs in 2-Dimensional Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 227-242, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Mark Hills 0001, Grigore Rosu |
A Rewriting Logic Semantics Approach to Modular Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 151-160, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Irène Durand, Géraud Sénizergues, Marc Sylvestre |
Termination of linear bounded term rewriting systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 341-356, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Natarajan Shankar |
Rewriting, Inference, and Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 1-14, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Fernando Rosa-Velardo |
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 191-207, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Michael Katelman, Sean Keller, José Meseguer 0001 |
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 140-156, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Kyungmin Bae, José Meseguer 0001 |
The Linear Temporal Logic of Rewriting Maude Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 208-225, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | José Meseguer 0001 |
Twenty Years of Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 15-17, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Traian-Florin Serbanuta, Grigore Rosu |
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 104-122, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Rakesh M. Verma |
Complexity of Normal Form Properties and Reductions for Term Rewriting Problems Complexity of Normal Form Properties and Reductions for Term Rewriting Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 92(1-2), pp. 145-168, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Bernhard Gramlich, Felix Schernhammer |
Extending Context-Sensitivity in Term Rewriting ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009., pp. 56-68, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Beatriz Alarcón, Salvador Lucas |
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 3-17, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Kyungmin Bae, José Meseguer 0001 |
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008, pp. 19-36, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Steve Barker, Clara Bertolissi, Maribel Fernández |
Action Control by Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecReT@LICS/CSF ![In: Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008, pp. 19-36, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Adrià Gascón, Guillem Godoy, Florent Jacquemard |
Closure of Tree Automata Languages under Innermost Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RTA ![In: Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July 14, 2008, pp. 23-38, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Jonathan K. Millen |
Rewriting Techniques in the Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecReT@LICS/CSF ![In: Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008, pp. 77-91, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Oana Agrigoroaiei, Gabriel Ciobanu |
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 5-22, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Stephan Falke 0001, Deepak Kapur |
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RTA ![In: Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July 14, 2008, pp. 75-90, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo |
A Rewriting Semantics for Maude Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 227-247, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Mark Hills 0001 |
Memory Representations in Rewriting Logic Semantics Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 155-172, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari |
Hierarchical Design Rewriting with Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 45-62, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Rachid Echahed, Nicolas Peltier |
A Needed Rewriting Strategy for Data-Structures with Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings, pp. 63-78, 2008, Springer, 978-3-540-70588-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe |
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 21-34, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Felix Schernhammer, Bernhard Gramlich |
Termination of Lazy Rewriting Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 35-51, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner |
Towards a Sharing Strategy for the Graph Rewriting Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 111-127, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Masahiko Sakai, Yi Wang |
Undecidable Properties on Length-Two String Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 53-69, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Guillem Godoy, Eduard Huntingford, Ashish Tiwari 0001 |
Termination of Rewriting with Right-Flat Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 200-213, 2007, Springer, 978-3-540-73447-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Dominique Duval, Rachid Echahed, Frédéric Prost |
Modeling Pointer Redirection as Cyclic Term-graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH@ETAPS ![In: Proceedings of the Third International Workshop on Term Graph Rewriting, TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006, pp. 65-84, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot |
From Functional Programs to Interaction Nets via the Rewriting Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@FLoC ![In: Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 39-56, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Muck van Weerdenburg |
An Account of Implementing Applicative Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@FLoC ![In: Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 139-155, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça |
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH@ETAPS ![In: Proceedings of the Third International Workshop on Term Graph Rewriting, TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006, pp. 139-163, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Michael Katelman, José Meseguer 0001 |
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 47-60, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta |
Rewriting Logic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 233-247, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Anderson Santana de Oliveira |
Rewriting-Based Access Control Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecReT@ICALP ![In: Proceedings of the First International Workshop on Security and Rewriting Techniques, SecReT@ICALP 2006, Venice, Italy, July 15, 2006, pp. 59-72, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Azadeh Farzan, José Meseguer 0001 |
Partial Order Reduction for Rewriting Semantics of Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 61-78, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Gustavo Santos-García, Miguel Palomino |
Solving Sudoku Puzzles with Rewriting Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 79-93, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister |
A Rewriting Logic Framework for Soft Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 181-197, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Sergio Antoy, Daniel W. Brown, Su-Hui Chiang |
Lazy Context Cloning for Non-Deterministic Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH@ETAPS ![In: Proceedings of the Third International Workshop on Term Graph Rewriting, TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006, pp. 3-23, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Naoki Nishida 0001, Tomohiro Mizutani, Masahiko Sakai |
Transformation for Refining Unraveled Conditional Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@FLoC ![In: Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 75-95, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Ahmed Bouajjani, Javier Esparza |
Rewriting Models of Boolean Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings, pp. 136-150, 2006, Springer, 3-540-36834-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Alessandro Armando, Luca Compagna, Silvio Ranise |
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 30-45, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Stefano Guerrini |
Sharing Implementations of Graph Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH ![In: Proceedings of the 2nd International Workshop on Term Graph Rewriting, TERMGRAPH 2004, Rome, Italy, October 2, 2004, pp. 113-132, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang |
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH ![In: Proceedings of the 2nd International Workshop on Term Graph Rewriting, TERMGRAPH 2004, Rome, Italy, October 2, 2004, pp. 57-82, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom |
Vicious Circles in Orthogonal Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004, pp. 65-77, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi |
Ambient Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004, pp. 335-351, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ralf Lämmel |
Programmable Rewriting Strategies in Haskell: -- White Paper --. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004, pp. 101-112, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Luigi Liquori, Benjamin Wack |
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004, pp. 89-111, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Iliano Cervesato, Mark-Oliver Stehr |
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004, pp. 183-207, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner |
A Rewriting Calculus for Cyclic Higher-order Term Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH ![In: Proceedings of the 2nd International Workshop on Term Graph Rewriting, TERMGRAPH 2004, Rome, Italy, October 2, 2004, pp. 21-41, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Christiano Braga, José Meseguer 0001 |
Modular Rewriting Semantics in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004, pp. 393-416, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Claude Kirchner |
Strategic Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004, pp. 3-9, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Herman Geuvers, Rob Nederpelt |
Rewriting for Fitch Style Natural Deductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings, pp. 134-154, 2004, Springer, 3-540-22153-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Martin Kappes |
Multi-Bracketed Contextual Rewriting Grammars with Obligatory Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grammars and Automata for String Processing ![In: Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back: Essays in Honour of Gheorghe Paun, pp. 67-76, 2003, Taylor and Francis, 0415298857. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
21 | Mizuhito Ogawa |
Call-by-need reduction for membership conditional term rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 673-688, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Bernhard Gramlich, Salvador Lucas |
Preface: 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 567-569, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Guillaume Feuillade, Thomas Genet |
Reachability in Conditional Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTP ![In: 4th International Workshop on First-Order Theorem Proving, FTP 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-14, 2003, pp. 133-146, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Naoki Nishida 0001, Masahiko Sakai, Toshiki Sakabe |
Narrowing-based simulation of term rewriting systems with extra variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 52-69, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Clara Bertolissi, Horatiu Cirstea, Claude Kirchner |
Translating Combinatory Reduction Systems into the Rewriting Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 28-44, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Ginés Moreno |
A narrowing-based instantiation rule for rewriting-based fold/unfold transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 144-167, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Monica Nesi, Giuseppina Rucci, Massimo Verdesca |
A rewriting strategy for protocol verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 657-672, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack |
Rewrite strategies in the rewriting calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 593-624, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Fabio Gadducci, Ugo Montanari |
Comparing logics for rewriting: rewriting logic, action calculi and tile logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 285(2), pp. 319-358, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Maribel Fernández, Ian Mackie |
Call-by-Value lambda-Graph Rewriting Without Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 75-89, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Rewriting-Based Verification of Authentication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002, pp. 208-222, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Manuel Clavel, José Meseguer 0001, Miguel Palomino |
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002, pp. 110-126, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Grit Denker, Jonathan K. Millen |
Modeling Group Communication Protocols Using Multiset Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002, pp. 20-39, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Fabio Gadducci, Ugo Montanari |
Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002, pp. 1-2, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Andrea Corradini 0001, Fabio Gadducci, Wolfram Kahl, Barbara König 0001 |
Inequational Deduction as Term Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH ![In: Proceedings of the First International Workshop on Term Graph Rewriting, TERMGRAPH 2002, Barcelona, Spain, October 7, 2002, pp. 31-44, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
Rewriting Calculus with(out) Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002, pp. 3-19, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Mark van den Brand, Paul Klint, Jurgen J. Vinju |
Term Rewriting with Type-safe Traversal Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings, pp. 100-117, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Enno Ohlebusch |
Conditional Term Graph Rewriting with Indirect Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH ![In: Proceedings of the First International Workshop on Term Graph Rewriting, TERMGRAPH 2002, Barcelona, Spain, October 7, 2002, pp. 87-100, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Adam Bakewell |
Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH ![In: Proceedings of the First International Workshop on Term Graph Rewriting, TERMGRAPH 2002, Barcelona, Spain, October 7, 2002, pp. 3-16, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Bruni, José Meseguer 0001, Ugo Montanari |
Tiling Transactions in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002, pp. 90-109, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Salvador Lucas |
Lazy Rewriting and Context-Sensitive Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 234-254, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Enno Ohlebusch |
Implementing conditional term rewriting by graph rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 262(1), pp. 311-331, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Quang Huy Nguyen 0002 |
Compact Normalisation Trace via Lazy Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 87-108, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Bernhard Gramlich, Salvador Lucas |
1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) - Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 201-202, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Eelco Visser |
Stratego: A Language for Program Transformation Based on Rewriting Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, pp. 357-362, 2001, Springer, 3-540-42117-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Jonathan K. Millen |
Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: The 3rd International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanzawa, Japan, September 18-20, 2000, pp. 229-234, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Joseph A. Goguen, Kai Lin, Grigore Rosu |
Behavioral and Coinductive Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: The 3rd International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanzawa, Japan, September 18-20, 2000, pp. 2-23, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|