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