Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Normal Forms for Partitions and Relations
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |