Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications, generated: 1:58, 24 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Guillaume Burel
    Embedding Deduction Modulo into a Prover
    In: Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, 2010, 155-169
  2. Guillaume Burel
    Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
    Logical Methods in Computer Science 7 (1): 3:1-3:31, 2011. Note: Accepted, preparing publication