Format:
Online-Ressource (VIII, 171 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540467748
Series Statement:
Lecture notes in computer science 395
Content:
Foundations -- Various extensions -- Unification of uninterpreted sorted terms -- Unification of equationally interpreted sorted terms -- Sorted resolution-based calculi -- References.
Note:
Literaturverz. S. [156] - 166
,
Zugl.: Kaiserslautern, Univ., Diss., 1988
Additional Edition:
ISBN 3540517057
Additional Edition:
ISBN 9783540517054
Additional Edition:
Erscheint auch als Druck-Ausgabe Schmidt-Schauß, Manfred Computational aspects of an order-sorted logic with term declarations Berlin : Springer, 1989 ISBN 3540517057
Additional Edition:
ISBN 0387517057
Language:
English
Subjects:
Computer Science
Keywords:
Unifikationstheorie
;
Ordnungssortierte Logik
;
Hochschulschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink