Sciweavers

Share
IEICET
2010

Multi-Context Rewriting Induction with Termination Checkers

8 years 9 months ago
Multi-Context Rewriting Induction with Termination Checkers
Haruhiko Sato, Masahito Kurihara
Added 26 Jan 2011
Updated 26 Jan 2011
Type Journal
Year 2010
Where IEICET
Authors Haruhiko Sato, Masahito Kurihara
Comments (0)
books