Type introduction for equational rewriting

DOI10.1007/PL00013300zbMath0957.68050MaRDI QIDQ1579057

Aart Middeldorp, Hitoshi Ohsaki

Publication date: 22 November 2000

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

rewrite systemstype introduction

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Tyrolean termination tool: techniques and features ⋮ Modular termination proofs for rewriting using dependency pairs

This page was built for publication: Type introduction for equational rewriting