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

Publications Master Template, generated: 19:44, 21 October 2019

Search the publication database

  . Return

Your search returned the following 5 documents:

  1. Witold Charatonik, Lilia Georgieva, and Patrick Maier
    Bounded Model Checking of Pointer Programs
    In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, Oxford, UK, 2005, 397-412
  2. Lilia Georgieva and Patrick Maier
    Description Logics for Shape Analysis
    In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), Koblenz, Germany, 2005, 321-330
  3. Lilia Georgieva, Ullrich Hustadt, and Renate A. Schmidt
    A New Clausal Class Decidable by Hyperresolution
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, 2002, 260-274
  4. Lilia Georgieva, Ullrich Hustadt, and Renate A. Schmidt
    A New Clausal Class Decidable by Hyperresolution
    University of Manchester, UK, CSPP-18, Preprint Series. Note: Long version of~\cite{GeorgievaHustadtSchmidt02b}.
  5. Lilia Georgieva, Ullrich Hustadt, and Renate A. Schmidt
    On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
    In: Proceedings of the International Workshop on Description Logics (DL'2002), Toulouse, France, April 2002, 2002, 25-36