Showing 1 - 1 results of 1 for search 'International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA Paderborn, Germany', query time: 0.01s Refine Results
  1. 1

    Higher-order algebra, logic and term rewriting /

    Published 1996
    “…International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA Paderborn, Germany…”
    Conference Proceeding Book