scholarly journals A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems

2004 ◽  
pp. 24-39 ◽  
Author(s):  
Frédéric Blanqui
Keyword(s):  
Higher Order ◽  
Rewrite Systems ◽  
Termination Criterion

scholarly journals Argument Filterings and Usable Rules in Higher-order Rewrite Systems

2011 ◽  
Vol 4 ◽  
pp. 114-125 ◽  
Author(s):  
Sho Suzuki ◽  
Keiichirou Kusakari ◽  
Frédéric Blanqui
Keyword(s):  
Higher Order ◽  
Rewrite Systems

scholarly journals Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes

2009 ◽  
Vol 2 ◽  
pp. 49-70
Author(s):  
Hideto Kasuya ◽  
Masahiko Sakai ◽  
Kiyoshi Agusa
Keyword(s):  
Higher Order ◽  
Rewrite Systems ◽  
Decidable Classes

scholarly journals Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems

2009 ◽  
Vol E92-D (10) ◽  
pp. 2007-2015 ◽  
Author(s):  
Keiichirou KUSAKARI ◽  
Yasuo ISOGAI ◽  
Masahiko SAKAI ◽  
Frédéric BLANQUI
Keyword(s):  
Higher Order ◽  
Rewrite Systems ◽  
Pair Method ◽  
Dependency Pair

scholarly journals Higher-order rewrite systems and their confluence

1998 ◽  
Vol 192 (1) ◽  
pp. 3-29 ◽  
Author(s):  
Richard Mayr ◽  
Tobias Nipkow
Keyword(s):  
Higher Order ◽  
Rewrite Systems
Sign in / Sign up

Export Citation Format

Share Document