A framework for operational equational specifications with pre-defined structures

  • Authors:

  • Jürgen Avenhaus;Klaus Becker

  • Affiliations:

  • Univ. Kaiserslautern, Kaiserslautern, Germany;Univ. Kaiserslautern, Kaiserslautern, Germany

  • Venue:
  • Journal of Symbolic Computation
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract