#### Filter Results:

- Full text PDF available (21)

#### Publication Year

1990

2019

- This year (5)
- Last 5 years (18)
- Last 10 years (31)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Jean-Pierre Jouannaud, Albert Rubio
- LICS
- 1999

This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by adapting the recursive path ordering definition to terms of a typed lambda-calculus… (More)

- Robert Nieuwenhuis, Albert Rubio
- Handbook of Automated Reasoning
- 2001

- Robert Nieuwenhuis, Albert Rubio
- J. Symb. Comput.
- 1995

Deduction methods for rst-order constrained clauses with equality are described within an abstract framework: constraint strategies, consisting of an inference system, a constraint inheritance… (More)

- Jean-Pierre Jouannaud, Albert Rubio
- J. ACM
- 2007

This article extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed lambda-calculus… (More)

- Robert Nieuwenhuis, Albert Rubio
- ESOP
- 1992

- Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
- Formal Methods in Computer-Aided Design
- 2013

We show how Max-SMT can be exploited in constraint-based program termination proving. Thanks to expressing the generation of a ranking function as a Max-SMT optimization problem where constraints are… (More)

- Cristina Borralleras, Maria Ferreira, Albert Rubio
- CADE
- 2000

Although theoretically it is very powerful, the semantic path ordering (SPO) is not so useful in practice, since its monotonicity has to be proved by hand for each concrete term rewrite system (TRS).… (More)

- Cristina Borralleras, Salvador Lucas, Albert Rubio
- CADE
- 2002

Context-sensitive rewriting (CSR) is a simple restriction of rewriting which can be used e.g. for modelling non-eager evaluation in programming languages. Many times termination is a crucial property… (More)

- Robert Nieuwenhuis, Albert Rubio
- CADE
- 1992