Towards Rewriting in Coq

DOI10.1007/978-3-540-73147-4_6zbMath1186.68234OpenAlexW139065648MaRDI QIDQ3608814

Daria Walukiewicz-Chrząszcz, Jacek Chrząszcz

Publication date: 6 March 2009

Published in: Rewriting, Computation and Proof (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73147-4_6

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules

Uses Software

• Coq
• CiME

This page was built for publication: Towards Rewriting in Coq