Computational Aspects of an Order-Sorted Logic with Term Declarations

Editor:
  • MSM. Schmidt-Schauß
    M. Schmidt-Schauß
Publisher website
Google Scholar
Abstract
No abstract available