Proving non-reachability by modulo-place invariants

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
30 cm
Umfang
12 S.
Sprache
Deutsch
Anmerkungen
graph. Darst.

Erschienen in
Informatik-Berichte ; Nr. 24

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Professoren des Inst. für Informatik
(wann)
[1994]
Urheber
Desel, Jörg
Radola, Micaela-Daphne

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 11:38 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Desel, Jörg
  • Radola, Micaela-Daphne
  • Professoren des Inst. für Informatik

Entstanden

  • [1994]

Ähnliche Objekte (12)

First order theorem proving modulo equations

First order theorem proving modulo equations

First-order theorem proving modulo equations

Hochschulschrift

First-order theorem proving modulo equations

Extending automatic theorem proving by planning

Extending automatic theorem proving by planning

Visual Proving

Visual Proving

Invariants.

Aufsatz

Invariants.

Proving a Heine-Borel Theorem by Analogy

Proving a Heine-Borel Theorem by Analogy

Theorem Proving by Analogy - A Compelling Example ?

Theorem Proving by Analogy - A Compelling Example ?

Proving Ground Completeness of Resolution by Proof Planning

Proving Ground Completeness of Resolution by Proof Planning

Change of Representation in Theorem Proving by Analogy

Change of Representation in Theorem Proving by Analogy

Cooperation in Theorem Proving by Loosely Coupled Heuristics

Cooperation in Theorem Proving by Loosely Coupled Heuristics

Automated theorem proving

Automated theorem proving

Automated theorem proving

Automated theorem proving

Verbundene Objekte