Login / Signup

Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo

Guillaume Burel
Published in: Log. Methods Comput. Sci. (2011)
Keyphrases