Sciweavers

CORR
2010
Springer

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns

13 years 9 months ago
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns
Bernhard Gramlich, Felix Schernhammer
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where CORR
Authors Bernhard Gramlich, Felix Schernhammer
Comments (0)