Computational Aspects of an Order-Sorted Logic with Term Declarations
BücherAngebote / Angebote:
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.
Folgt in ca. 5 Arbeitstagen