Hochschulschrift

First-order theorem proving modulo equations

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
30 cm
Umfang
124 Bl.
Sprache
Englisch
Anmerkungen
Dortmund, Univ., Diss., 1992

Urheber
Wertz, Ulrich

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:00 MESZ

Datenpartner

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

Objekttyp

  • Hochschulschrift

Beteiligte

  • Wertz, Ulrich

Ähnliche Objekte (12)

First order theorem proving modulo equations

First order theorem proving modulo equations

Proving non-reachability by modulo-place invariants

Proving non-reachability by modulo-place invariants

Automated theorem proving

Automated theorem proving

Automated theorem proving

Automated theorem proving

Distributing equational theorem proving

Distributing equational theorem proving

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

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

An Extensible Theorem Proving Frontend

An Extensible Theorem Proving Frontend

Requirement-based cooperative theorem proving

Requirement-based cooperative theorem proving

Theorem proving in large theories

Theorem proving in large theories

Interactive theorem proving with indexed formulas

Interactive theorem proving with indexed formulas

Automated theorem proving in software engineering

Automated theorem proving in software engineering

Theorem proving with the real numbers

Theorem proving with the real numbers

Verbundene Objekte