|
Search the dblp DataBase
Albert Rubio:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Robert Nieuwenhuis, Albert Rubio
Theorem Proving with Ordering and Equality Constrained Clauses. [Citation Graph (1, 0)][DBLP] J. Symb. Comput., 1995, v:19, n:4, pp:321-351 [Journal]
- Miquel Bofill, Albert Rubio
Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation. [Citation Graph (0, 0)][DBLP] CADE, 2002, pp:456-470 [Conf]
- Miquel Bofill, Albert Rubio
Redundancy Notions for Paramodulation with Non-monotonic Orderings. [Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:107-121 [Conf]
- Cristina Borralleras, Maria Ferreira, Albert Rubio
Complete Monotonic Semantic Path Orderings. [Citation Graph (0, 0)][DBLP] CADE, 2000, pp:346-364 [Conf]
- Cristina Borralleras, Salvador Lucas, Albert Rubio
Recursive Path Orderings Can Be Context-Sensitive. [Citation Graph (0, 0)][DBLP] CADE, 2002, pp:314-331 [Conf]
- Robert Nieuwenhuis, Fernando Orejas, Albert Rubio
TRIP: An Implementation of Clausal Rewriting. [Citation Graph (0, 0)][DBLP] CADE, 1990, pp:667-668 [Conf]
- Robert Nieuwenhuis, Albert Rubio
Theorem Proving with Ordering Constrained Clauses. [Citation Graph (0, 0)][DBLP] CADE, 1992, pp:477-491 [Conf]
- Robert Nieuwenhuis, Albert Rubio
AC-Superposition with Constraints: No AC-Unifiers Needed. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:545-559 [Conf]
- Albert Rubio
Theorem Proving modulo Associativity. [Citation Graph (0, 0)][DBLP] CSL, 1995, pp:452-467 [Conf]
- Robert Nieuwenhuis, Albert Rubio
Basic Superposition is Complete. [Citation Graph (0, 0)][DBLP] ESOP, 1992, pp:371-389 [Conf]
- Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
Modular Redundancy for Theorem Proving. [Citation Graph (0, 0)][DBLP] FroCos, 2000, pp:186-199 [Conf]
- Albert Rubio
Extension Orderings. [Citation Graph (0, 0)][DBLP] ICALP, 1995, pp:511-522 [Conf]
- Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
Paramodulation with Non-Monotonic Orderings. [Citation Graph (0, 0)][DBLP] LICS, 1999, pp:225-233 [Conf]
- Hubert Comon, Robert Nieuwenhuis, Albert Rubio
Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract) [Citation Graph (0, 0)][DBLP] LICS, 1995, pp:375-385 [Conf]
- Jean-Pierre Jouannaud, Albert Rubio
The Higher-Order Recursive Path Ordering. [Citation Graph (0, 0)][DBLP] LICS, 1999, pp:402-411 [Conf]
- Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
Higher-Order Termination: From Kruskal to Computability. [Citation Graph (0, 0)][DBLP] LPAR, 2006, pp:1-14 [Conf]
- Cristina Borralleras, Albert Rubio
A Monotonic Higher-Order Semantic Path Ordering. [Citation Graph (0, 0)][DBLP] LPAR, 2001, pp:531-547 [Conf]
- Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio
Recursive Path Orderings Can Also Be Incremental. [Citation Graph (0, 0)][DBLP] LPAR, 2005, pp:230-245 [Conf]
- Cristina Borralleras, Albert Rubio
Monotonic AC-Compatible Semantic Path Orderings. [Citation Graph (0, 0)][DBLP] RTA, 2003, pp:279-295 [Conf]
- Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio
Orderings for Innermost Termination. [Citation Graph (0, 0)][DBLP] RTA, 2005, pp:17-31 [Conf]
- Jean-Pierre Jouannaud, Albert Rubio
Higher-Order Orderings for Normal Rewriting. [Citation Graph (0, 0)][DBLP] RTA, 2006, pp:387-399 [Conf]
- Jean-Pierre Jouannaud, Albert Rubio
A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form. [Citation Graph (0, 0)][DBLP] RTA, 1996, pp:108-122 [Conf]
- Albert Rubio
A Fully Syntactic AC-RPO. [Citation Graph (0, 0)][DBLP] RTA, 1999, pp:133-147 [Conf]
- Albert Rubio, Robert Nieuwenhuis
A Precedence-Based Total AC-Compatible Ordering. [Citation Graph (0, 0)][DBLP] RTA, 1993, pp:374-388 [Conf]
- Albert Rubio
A Fully Syntactic AC-RPO. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:178, n:2, pp:515-533 [Journal]
- Jean-Pierre Jouannaud, Albert Rubio
Polymorphic higher-order recursive path orderings. [Citation Graph (0, 0)][DBLP] J. ACM, 2007, v:54, n:1, pp:- [Journal]
- Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:30, n:1, pp:99-120 [Journal]
- Robert Nieuwenhuis, Albert Rubio
Paramodulation with Built-in AC-Theories and Symbolic Constraints. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1997, v:23, n:1, pp:1-21 [Journal]
- Jean-Pierre Jouannaud, Albert Rubio
Rewrite Orderings for Higher-Order Terms in eta-Long beta-Normal Form and Recursive Path Ordering. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:208, n:1-2, pp:33-58 [Journal]
- Albert Rubio, Robert Nieuwenhuis
A Total AC-Compatible Ordering Based on RPO. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:142, n:2, pp:209-227 [Journal]
- Cristina Borralleras, Albert Rubio
Orderings and Constraints: Theory and Practice of Proving Termination. [Citation Graph (0, 0)][DBLP] Rewriting, Computation and Proof, 2007, pp:28-43 [Conf]
- Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
HORPO with Computability Closure: A Reconstruction. [Citation Graph (0, 0)][DBLP] LPAR, 2007, pp:138-150 [Conf]
- Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Challenges in Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP] RTA, 2007, pp:2-18 [Conf]
- Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
Higher-Order Termination: from Kruskal to Computability [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
- Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
HORPO with Computability Closure : A Reconstruction [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. [Citation Graph (, )][DBLP]
The Barcelogic SMT Solver. [Citation Graph (, )][DBLP]
The Computability Path Ordering: The End of a Quest. [Citation Graph (, )][DBLP]
A Write-Based Solver for SAT Modulo the Theory of Arrays. [Citation Graph (, )][DBLP]
The computability path ordering: the end of a quest [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.304secs
|