Zum Inhalt springen

  2. Camacho, Rui [HerausgeberIn]; King, Ross [Sonstige Person, Familie und Körperschaft]; Srinivasan, Ashwin [Sonstige Person, Familie und Körperschaft] ; ILP 14 2004 Porto

    Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6 - 8, 2004 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 3194

  4. Echenim, Mnacho [VerfasserIn]; Iosif, Radu [VerfasserIn]; Peltier, Nicolas [VerfasserIn] ; Mnacho Echenim and Radu Iosif and Nicolas Peltier [MitwirkendeR]

    Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  6. Swiderski, Stephan [VerfasserIn]; Parting, Michael [VerfasserIn]; Giesl, Jürgen [VerfasserIn]; Fuhs, Carsten [VerfasserIn]; Schneider-Kamp, Peter [VerfasserIn] ; Stephan Swiderski and Michael Parting and Jürgen Giesl and Carsten Fuhs and Peter Schneider-Kamp [MitwirkendeR]

    Inductive Theorem Proving meets Dependency Pairs

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010

  7. Avenhaus, Jürgen [VerfasserIn]; Denzinger, Jörg [VerfasserIn]

    Informal Proceedings of the Annual Meeting of "GI-Fachgruppe Deduktionssysteme"

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1993

  8. Camacho, Rui [VerfasserIn] ; King, Ross [Sonstige Person, Familie und Körperschaft]; Srinivasan, Ashwin [Sonstige Person, Familie und Körperschaft]

    Inductive Logic Programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 319400

  9. Forster, Yannick [VerfasserIn]; Kirst, Dominik [VerfasserIn]; Mück, Niklas [VerfasserIn] ; Yannick Forster and Dominik Kirst and Niklas Mück [MitwirkendeR]

    The Kleene-Post and Post’s Theorem in the Calculus of Inductive Constructions

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024

  10. Cohen, Liron [VerfasserIn]; da Rocha Paiva, Bruno [VerfasserIn]; Rahli, Vincent [VerfasserIn]; Tosun, Ayberk [VerfasserIn] ; Liron Cohen and Bruno da Rocha Paiva and Vincent Rahli and Ayberk Tosun [MitwirkendeR]

    Inductive Continuity via Brouwer Trees

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  13. Schmidt-Samoa, Tobias [VerfasserIn]

    Flexible Heuristic Control for Combining Automation and User-Interaction in Inductive Theorem Proving

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 2006

  14. Kühler, Ulrich [VerfasserIn]; Wirth, Claus-Peter [VerfasserIn]

    Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1999

  15. Wirth, Claus-Peter [VerfasserIn]; Kühler, Ulrich [VerfasserIn]

    Inductive theorem proving in theories specified by positive/negative-conditional equations

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1999

  16. Eschbach, Robert [VerfasserIn]; Sonntag, Inger [VerfasserIn]

    PLATIN A Planning System for Inductive Theorem Proving Implementation and Experiences

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1997