MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Albert Rubio – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 28 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Extension Orderings  
  • by Albert Rubio — 1995 — Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, Szeged, Lecture Notes in Computer Science 944
  • …Extension Orderings ? Albert Rubio Universitat Polit`ecnica de Catalunya, Pau Gargallo 5, 08028…
  • Cited by 6 (1 self) – Add To MetaCart
  • Theorem Proving modulo Associativity  
  • by Albert Rubio — 1995 — In 1995 Conference of the European Association for Computer Science Logic, LNCS 1092
  • …Theorem Proving modulo Associativity ? Albert Rubio Universtitat Polit`ecnica de Catalunya, Pau…
  • Cited by 6 (1 self) – Add To MetaCart
  • A fully syntactic AC-RPO  
  • by Albert Rubio — 1999 — Information and Computation
  • …A fully syntactic AC-RPO Albert Rubio ? Universitat Polit`ecnica de Catalunya, Dept. L.S.I. Modul…
  • Cited by 16 (4 self) – Add To MetaCart
  • A fully syntactic AC-RPO  
  • by Albert Rubio Universitat, Albert Rubio — 1999 — Information and Computation
  • …A fully syntactic AC-RPO ? Albert Rubio Universitat Polit`ecnica de Catalunya, Dept. L.S.I. Modul…
  • Add To MetaCart
  • Higher-order orderings for normal rewriting  
  • by Jean-pierre Jouannaud, Albert Rubio — 2006 — In Proc. 17th International Conference on Rewriting Techniques and Applications
  • …Higher-Order Orderings for Normal Rewriting Jean-Pierre Jouannaud 1⋆ and Albert Rubio 2⋆⋆ 1 LIX…
  • Cited by 3 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB