Term Rewriting and Applications

DOI10.1007/B135673zbMATH Open1078.68657OpenAlexW2504734884MaRDI QIDQ5703862

Jean-Pierre Jouannaud

Publication date: 11 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b135673

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42) History of computer science (68-03)

Related Items (1)

Algorithmic Number Theory

Uses Software

• CafeOBJ

Recommendations

• Twenty Years After 👍 👎
• HDECAY: twenty++ years after 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: Term Rewriting and Applications