dblp.uni-trier.dewww.uni-trier.de

Albert Rubio Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
42EECristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio: Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. CADE 2009: 294-305
41EEMiquel Bofill, Albert Rubio: Paramodulation with Well-founded Orderings. J. Log. Comput. 19(2): 263-302 (2009)
2008
40EEMiquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: The Barcelogic SMT Solver. CAV 2008: 294-298
39EEFrédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio: The Computability Path Ordering: The End of a Quest. CSL 2008: 1-14
38EEMiquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: A Write-Based Solver for SAT Modulo the Theory of Arrays. FMCAD 2008: 1-8
37EEFrédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio: The computability path ordering: the end of a quest CoRR abs/0806.2517: (2008)
2007
36EEFrédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio: HORPO with Computability Closure: A Reconstruction. LPAR 2007: 138-150
35EERobert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: Challenges in Satisfiability Modulo Theories. RTA 2007: 2-18
34EECristina Borralleras, Albert Rubio: Orderings and Constraints: Theory and Practice of Proving Termination. Rewriting, Computation and Proof 2007: 28-43
33EEFrédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio: HORPO with Computability Closure : A Reconstruction CoRR abs/0708.3582: (2007)
32EEJean-Pierre Jouannaud, Albert Rubio: Polymorphic higher-order recursive path orderings. J. ACM 54(1): (2007)
2006
31EEFrédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio: Higher-Order Termination: From Kruskal to Computability. LPAR 2006: 1-14
30EEJean-Pierre Jouannaud, Albert Rubio: Higher-Order Orderings for Normal Rewriting. RTA 2006: 387-399
29EEFrédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio: Higher-Order Termination: from Kruskal to Computability CoRR abs/cs/0609039: (2006)
2005
28EEMirtha-Lina Fernández, Guillem Godoy, Albert Rubio: Recursive Path Orderings Can Also Be Incremental. LPAR 2005: 230-245
27EEMirtha-Lina Fernández, Guillem Godoy, Albert Rubio: Orderings for Innermost Termination. RTA 2005: 17-31
2004
26EEMiquel Bofill, Albert Rubio: Redundancy Notions for Paramodulation with Non-monotonic Orderings. IJCAR 2004: 107-121
2003
25EECristina Borralleras, Albert Rubio: Monotonic AC-Compatible Semantic Path Orderings. RTA 2003: 279-295
24 Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio: Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings. J. Autom. Reasoning 30(1): 99-120 (2003)
2002
23EECristina Borralleras, Salvador Lucas, Albert Rubio: Recursive Path Orderings Can Be Context-Sensitive. CADE 2002: 314-331
22EEMiquel Bofill, Albert Rubio: Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation. CADE 2002: 456-470
21EEAlbert Rubio: A Fully Syntactic AC-RPO. Inf. Comput. 178(2): 515-533 (2002)
2001
20EECristina Borralleras, Albert Rubio: A Monotonic Higher-Order Semantic Path Ordering. LPAR 2001: 531-547
19 Robert Nieuwenhuis, Albert Rubio: Paramodulation-Based Theorem Proving. Handbook of Automated Reasoning 2001: 371-443
2000
18EECristina Borralleras, Maria Ferreira, Albert Rubio: Complete Monotonic Semantic Path Orderings. CADE 2000: 346-364
17 Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio: Modular Redundancy for Theorem Proving. FroCos 2000: 186-199
1999
16EEMiquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio: Paramodulation with Non-Monotonic Orderings. LICS 1999: 225-233
15EEJean-Pierre Jouannaud, Albert Rubio: The Higher-Order Recursive Path Ordering. LICS 1999: 402-411
14EEAlbert Rubio: A Fully Syntactic AC-RPO. RTA 1999: 133-147
1998
13EEJean-Pierre Jouannaud, Albert Rubio: Rewrite Orderings for Higher-Order Terms in eta-Long beta-Normal Form and Recursive Path Ordering. Theor. Comput. Sci. 208(1-2): 33-58 (1998)
1997
12 Robert Nieuwenhuis, Albert Rubio: Paramodulation with Built-in AC-Theories and Symbolic Constraints. J. Symb. Comput. 23(1): 1-21 (1997)
1996
11EEJean-Pierre Jouannaud, Albert Rubio: A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form. RTA 1996: 108-122
1995
10EEAlbert Rubio: Theorem Proving modulo Associativity. CSL 1995: 452-467
9EEAlbert Rubio: Extension Orderings. ICALP 1995: 511-522
8 Hubert Comon, Robert Nieuwenhuis, Albert Rubio: Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract) LICS 1995: 375-385
7 Robert Nieuwenhuis, Albert Rubio: Theorem Proving with Ordering and Equality Constrained Clauses. J. Symb. Comput. 19(4): 321-351 (1995)
6EEAlbert Rubio, Robert Nieuwenhuis: A Total AC-Compatible Ordering Based on RPO. Theor. Comput. Sci. 142(2): 209-227 (1995)
1994
5EERobert Nieuwenhuis, Albert Rubio: AC-Superposition with Constraints: No AC-Unifiers Needed. CADE 1994: 545-559
1993
4EEAlbert Rubio, Robert Nieuwenhuis: A Precedence-Based Total AC-Compatible Ordering. RTA 1993: 374-388
1992
3EERobert Nieuwenhuis, Albert Rubio: Theorem Proving with Ordering Constrained Clauses. CADE 1992: 477-491
2EERobert Nieuwenhuis, Albert Rubio: Basic Superposition is Complete. ESOP 1992: 371-389
1990
1EERobert Nieuwenhuis, Fernando Orejas, Albert Rubio: TRIP: An Implementation of Clausal Rewriting. CADE 1990: 667-668

Coauthor Index

1Frédéric Blanqui [29] [31] [33] [36] [37] [39]
2Miquel Bofill [16] [17] [22] [24] [26] [38] [40] [41]
3Cristina Borralleras [18] [20] [23] [25] [34] [42]
4Hubert Comon-Lundh (Hubert Comon) [8]
5Mirtha-Lina Fernández [27] [28]
6Maria Ferreira [18]
7Guillem Godoy [16] [17] [24] [27] [28]
8Jean-Pierre Jouannaud [11] [13] [15] [29] [30] [31] [32] [33] [36] [37] [39]
9Salvador Lucas [23] [42]
10Rafael Navarro-Marset [42]
11Robert Nieuwenhuis [1] [2] [3] [4] [5] [6] [7] [8] [12] [16] [17] [19] [24] [35] [38] [40]
12Albert Oliveras [35] [38] [40]
13Fernando Orejas [1]
14Enric Rodríguez-Carbonell [35] [38] [40] [42]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)