A note on a canonical theory with undecidable unification and matching problem

  • Authors:

  • A. Bockmayr

  • Affiliations:

  • Univ. Karlsruhe, Karlsruhe, W. Germany

  • Venue:
  • Journal of Automated Reasoning
  • Year:
  • 1987

Quantified Score

Hi-index 0.00

Visualization

Abstract