- Start
- Computational Aspects of an Order-Sorted Logic with Term Declarations
Computational Aspects of an Order-Sorted Logic with Term Declarations
Angebote / 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