Albert Rubio

1. Polymorphic higher-order recursive path orderings
   2007/03/01 by Jean-Pierre Jouannaud, Albert Rubio · 4 citations
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification