Rewriting logic: roadmap and bibliography

Conditional rewriting logic as a unified model of concurrency

José Meseguer · Theoretical Computer Science · 1992 · 1.3K citations

Computing, Computer Science, Computer Systems +9

Maude: specification and programming in rewriting logic

Manuel Clavel, Francisco Durán, Steven Eker et al. · Theoretical Computer Science · 2002 · 772 citations · Full text

Computing, Computer Science, Formal Methods +7

An Overview of ELAN

Peter Borovanský, Claude Kirchner, Pierre‐Etienne Moreau et al. · Electronic Notes in Theoretical Computer Science · 1998 · 398 citations · Full text

Computing, Computer Science, Natural Language Processing +10

Specification and proof in membership equational logic

Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer · Theoretical Computer Science · 2000 · 232 citations

Humanities, Computer Science, Mathematics +12

Principles of Maude

Manuel Clavel, Steven Eker, Per Lincoln et al. · Electronic Notes in Theoretical Computer Science · 1996 · 227 citations · Full text

Computing, Computer Science, Formal Methods +13