- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 5 of 5 (0.053 seconds)Spelling suggestions: "subject:"dependency air"" "subject:"dependency pair""
| 1 |
An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite SystemsSAKAI, Masahiko, WATANABE, Yoshitsugu, SAKABE, Toshiki 08 1900 (has links)
No description available.
|
| 2 |
On Dependency Pair Method for Proving Termination of Higher-Order Rewrite SystemsSAKAI, Masahiko, KUSAKARI, Keiichirou 03 1900 (has links)
No description available.
|
| 3 |
Enhancing Dependency Pair Method using Strong Computability in Simply-Typed Term Rewriting草刈, 圭一朗, Kusakari, Keiichirou, 酒井, 正彦, Sakai, Masahiko January 2007 (has links)
No description available.
|
| 4 |
Higher-Order Path Orders Based on ComputabilityKUSAKARI, Keiichirou 01 February 2004 (has links)
No description available.
|
| 5 |
Static Dependency Pair Method for Simply-Typed Term Rewriting and Related TechniqueSAKAI, Masahiko, KUSAKARI, Keiichirou 01 February 2009 (has links)
No description available.
|
Page generated in 0.0583 seconds