Implementing conditional term rewriting by graph rewriting

  • Authors:
  • enno Ohlebusch

  • Affiliations:
  • -

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2001

Quantified Score

Hi-index 5.23

Visualization

Abstract