Computational Aspects of an Order-Sorted Logic with Term Declarations
Manfred Schmidt-Schauß
Broschiertes Buch

Computational Aspects of an Order-Sorted Logic with Term Declarations

Versandfertig in 1-2 Wochen
27,99 €
inkl. MwSt.
PAYBACK Punkte
14 °P sammeln!
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.