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

MPI-INF RG1 Publications, generated: 11:00, 18 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. 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]
  2. 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
  3. Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, and Gerard de Melo
    External Sources of Axioms in Automated Theorem Proving
    In: KI 2009: Advances in Artificial Intelligence, Paderborn, Germany, October 27-28, 2009, 281-288
    [PDF: Download: ki2009.pdf]