Sciweavers

CORR
2007
Springer
103views Education» more  CORR 2007»
13 years 11 months ago
HORPO with Computability Closure : A Reconstruction
This paper provides a new, decidable definition of the higher-order recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for...
Frédéric Blanqui, Jean-Pierre Jouann...
CORR
2006
Springer
116views Education» more  CORR 2006»
13 years 11 months ago
Rewriting modulo in Deduction modulo
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
Frédéric Blanqui
LPAR
2007
Springer
14 years 5 months ago
HORPO with Computability Closure: A Reconstruction
Abstract. This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the...
Frédéric Blanqui, Jean-Pierre Jouann...