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

MPI-INF RG1 Publications, generated: 23:58, 20 October 2019

Search the publication database

  . Return

Your search returned the following 5 documents:

  1. 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
  2. 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]
  3. 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
  4. 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
  5. 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