Algebraic specifications of reachable higher-order algebras

  • Authors:

  • B. Möller;A. Tarlecki;M. Wirsing

  • Affiliations:

  • Technische Univ. Mu¨nchen;Institute of Computer Science, Warsaw;Univ. Passau, Passua

  • Venue:
  • Lecture notes in Computer Science on Recent trends in data type specification
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract