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

MPI-INF RG1 Publications, generated: 17:43, 23 October 2019

Search the publication database

  . Return

Your search returned the following document:

  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