Spelling suggestions: "subject:"simplyfied tem rewriting"" "subject:"simplesttype tem rewriting""
1 |
Enhancing Dependency Pair Method using Strong Computability in Simply-Typed Term Rewriting草刈, 圭一朗, Kusakari, Keiichirou, 酒井, 正彦, Sakai, Masahiko January 2007 (has links)
No description available.
|
2 |
Higher-Order Path Orders Based on ComputabilityKUSAKARI, Keiichirou 01 February 2004 (has links)
No description available.
|
3 |
A Higher-Order Knuth-Bendix Procedure and Its ApplicationsCHIBA, Yuki, KUSAKARI, Keiichirou 01 April 2007 (has links)
No description available.
|
4 |
Static Dependency Pair Method for Simply-Typed Term Rewriting and Related TechniqueSAKAI, Masahiko, KUSAKARI, Keiichirou 01 February 2009 (has links)
No description available.
|
5 |
Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order RewritingKUSAKARI, Keiichirou, SAKAI, Masahiko, SAKABE, Toshiki 12 1900 (has links)
No description available.
|
Page generated in 0.113 seconds