Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming

  • Authors:
  • Andrea Corradini;Francesca Rossi

  • Affiliations:
  • Univ. di Pisa, Pisa, Italy;Univ. di Pisa, Pisa, Italy

  • Venue:
  • Theoretical Computer Science - Special issue on selected papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, March 21–23, 1991
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract