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

MPI-INF RG1 Publications, generated: 8:36, 15 October 2019

Search the publication database

  . Return

Your search returned the following 12 documents:

  1. Nikolaj Bjørner and Viorica Sofronie-Stokkermans(Ed.)
    Automated Deduction - CADE-23 : 23rd International Conference on Automated Deduction
    Lecture Notes in Artificial Intelligence. 6803, , Springer, Berlin, 2011
  2. Cesare Tinelli and Viorica Sofronie-Stokkermans(Ed.)
    Frontiers of Combining Systems
    Lecture Notes in Artificial Intelligence. 6989, , Springer, Heidelberg, 2011
  3. Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Teige Teige, and Christoph Weidenbach
    SUP(NLA) -- Combining Superposition and Non-Linear Arithmetic
    In: 8th International Symposium on Frontiers of Combining Systems, Saarbruecken, Germany, 2011, 119-134
  4. Nicolas Peltier and Viorica Sofronie-Stokkermans(Ed.)
    First-Order Theorem Proving : Proceedings of the 7th International Workshop on First-Order Theorem Proving (FTP'09)
    CEUR Workshop Proceedings. 556, , CEUR- WS.org, Aachen, 2010. Note: Electronic proceedings of FTP 2009. Appeared in printed version as Research Report 386, University of Oslo, Department of Informatics, 2009, ISBN 82-7368-347-8, ISSN 0806-3036
  5. Manuel Lamotte-Schubert and Christoph Weidenbach
    Analysis of Authorizations in SAP R/3
    In: FTP 2009 : First-Order Theorem Proving, Oslo, Norway, 2009, 90-104
  6. Manuel Lamotte-Schubert and Christoph Weidenbach
    Analysis of Authorizations in SAP R/3
    In: First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving proceedings, Oslo, Norway, 2009, 90-104
    [PDF: Download: SapR3.pdf]
  7. Nicolas Peltier and Viorica Sofronie-Stokkermans(Ed.)
    First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving, Proceedings
    University Oslo/Department of Informatics: Research Report. 386, , University of Oslo/Department of Informatics, Oslo, 2009
  8. Nicolas Peltier and Viorica Sofronie-Stokkermans(Ed.)
    First-Order Theorem Proving 2009
    CEUR-WS. 556, , Nicolas Peltier and Viorica Sofronie-Stokkermans (on CEUR-WS), Aachen, 2009
  9. Christopher Lynch, Paliath Narendran, Franz Baader, Silvio Ghilardi, Miki Hermann, Viorica Sofronie-Stokkermans, and Ashish Tiwari(Ed.)
    UNIF 2009, 23nd International Workshop on Unification and ADDCT 2009 Automated Deduction: Decidability, Complexity, Tractability : proceedings
    , McGill University, Montreal, 2009
  10. Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans, and Ashish Tiwari(Ed.)
    Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07)
    , Informal proceedings, 2007
  11. Franz Baader, Silvio Ghilardi, Miki Hermann, Ulrike Sattler, and Viorica Sofronie-Stokkermans(Ed.)
    Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08)
    , Informal proceedings, 2008
  12. Swen Jacobs
    Incremental Instance Generation in Local Reasoning
    In: Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08, Sydney, Australia, 2008, 47-62
    [PDF: Download: IIGLR.pdf]