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

MPI-INF RG1 Publications, generated: 16:15, 15 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Arnaud Fietzke and Christoph Weidenbach
    Superposition as a Decision Procedure for Timed Automata
    In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2011), Beijing, China, 2011
  2. Evgeny Kruglov and Christoph Weidenbach
    SUP(T) Decides First-Order Logic Fragment Over Ground Theories
    In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS-4), Beijing, China, 2011