Return to search

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

No description available.
Identiferoai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/11112
Date January 2007
Creators草刈, 圭一朗, Kusakari, Keiichirou, 酒井, 正彦, Sakai, Masahiko
PublisherSpringer-International
Source SetsNagoya University
LanguageEnglish
Detected LanguageEnglish
TypeArticle(author)

Page generated in 0.0016 seconds