Computational Aspects of an Order-Sorted Logic with Term Declarations

Inhaltsverzeichnis

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