Albert Rubio (Technical University of Catalonia)

Identifiers

• name variant Albert Rubio (Technical University of Catalonia) 0.60 · backfill

Papers (1)

1. The computability path ordering cs.LO · 2015 · author #5

Mentions

• 1506.03943 #5 · backfill · confidence 0.70 Albert Rubio (Technical University of Catalonia)

Frequent Coauthors

• Fr\'ed\'eric Blanqui (INRIA) 1 shared papers
• Jean-Pierre Jouannaud (Ecole Polytechnique 1 shared papers
• Tsinghua University) 1 shared papers
• Universit\'e Paris-Sud 1 shared papers