Sciweavers

RTA
2000
Springer

Termination and Confluence of Higher-Order Rewrite Systems

15 years 13 days 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)