| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 431187 | The Journal of Logic and Algebraic Programming | 2012 | 34 Pages |
Abstract
This bibliography compiles, to the best of our knowledge, all the papers on rewriting logic and its applications which have been written during the more than 20 years that have passed since the introduction of rewriting logic in 1990. The papers are classified according to five main areas: foundations, logical and semantic framework, languages, tools, and applications.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
