Return to search

Enhancing Dependency Pair Method using Strong Computability in Simply-Typed Term Rewriting

No description available.

1. http://hdl.handle.net/2237/11112
2. 09381279
3. Applicable Algebra in Engineering, Communication and Computing. v.18, n.5, 2007, p.407-431

Identifer	oai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/11112
Date	January 2007
Creators	草刈, 圭一朗, Kusakari, Keiichirou, 酒井, 正彦, Sakai, Masahiko
Publisher	Springer-International
Source Sets	Nagoya University
Language	English
Detected Language	English
Type	Article(author)