• Deutsch
Login

Open Access

  • Home
  • Search
  • Browse
  • Publish/report a document
  • Help

Proving properties of directed graphs: a problem set for automated theorem provers

Gerhard Schellhorn

    Export metadata

    • BibTeX
    • RIS

    Statistics

    Number of document requests

    Additional Services

    Share in Twitter Search Google Scholar
    Metadaten
    Author:Gerhard SchellhornORCiDGND
    Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/64498
    URL:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui/Ulmer_Informatik_Berichte/1998/UIB_1998-12.pdf
    URL:https://www.uni-ulm.de/index.php?id=40289
    Publisher:Fachbereich Informatik, Universität Ulm
    Place of publication:Ulm
    Type:Report
    Language:English
    Year of first Publication:1998
    Release Date:2019/11/05
    Pagenumber:14
    Series:Ulmer Informatik-Berichte ; 98-12
    Institutes:Fakultät für Angewandte Informatik
    Fakultät für Angewandte Informatik / Institut für Informatik
    Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
    Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
    Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik

    OPUS4 Logo

    • Contact
    • Imprint
    • Sitelinks