Manfred Schmidt-Schauß

Computational Aspects of an Order-Sorted Logic with Term Declarations

• Broschiertes Buch

Produktbeschreibung

Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.

Produktdetails

• Lecture Notes in Computer Science 395
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-51705-4
• 1989
• Seitenzahl: 184
• Erscheinungstermin: 20. September 1989
• Englisch
• Abmessung: 235mm x 155mm x 11mm
• Gewicht: 287g
• ISBN-13: 9783540517054
• ISBN-10: 3540517057
• Artikelnr.: 23149492

Inhaltsangabe

Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.