Sciweavers

RTA
2000
Springer

Termination and Confluence of Higher-Order Rewrite Systems

14 years 3 months ago
Termination and Confluence of Higher-Order Rewrite Systems
Frédéric Blanqui
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where RTA
Authors Frédéric Blanqui
Comments (0)