Return to search

Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Technique

No description available.
Identiferoai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/14975
Date01 February 2009
CreatorsSAKAI, Masahiko, KUSAKARI, Keiichirou
PublisherInstitute of Electronics, Information and Communication Engineers
Source SetsNagoya University
LanguageEnglish
Detected LanguageEnglish
TypeArticle(publisher)
RightsCopyright (C) 2009 IEICE

Page generated in 0.0024 seconds