Login / Signup

The Derivational Complexity Induced by the Dependency Pair Method

Georg MoserAndreas Schnabl
Published in: Log. Methods Comput. Sci. (2011)
Keyphrases