Unification in the union of disjoint equational theories : combining decision procedures

Sprache
Englisch
Umfang
33 S.
Maße
21 cm
Anmerkungen
Literaturverz. S. 30 - 33
Standort
Deutsche Nationalbibliothek Frankfurt am Main

Erschienen in
CIS-Bericht / Centrum für Informations- und Sprachverarbeitung ; 59

Urheber
Baader, Franz
Schulz, Klaus U.
Ereignis
Veröffentlichung
(wo)
München
(wer)
CIS
(wann)
[1992]

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

Datenpartner

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

Beteiligte

Entstanden

  • [1992]

Ähnliche Objekte (12)