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

MPI-INF RG1 Publications, generated: 22:58, 13 October 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Matthias Horbach and Christoph Weidenbach
    Deciding the Inductive Validity of FOR ALL THERE EXISTS* Queries
    In: Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, 2009, 332-347