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

MPI-INF RG1 Publications, generated: 15:59, 23 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Dilyana Dimova
    Propositional Abduction
    Bachelor thesis, Universit├Ąt des Saarlandes, 2007

  2. Dilyana Dimova
    On the Translation of Timed Automata into First-order Logic
    Master's thesis, Universit├Ąt des Saarlandes, 2009
  3. Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Martin Suda, and Patrick Wischnewski
    SPASS Version 3.5
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 140-145