Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper)

  • Authors:

  • Bernhard Möller

  • Affiliations:

  • -

  • Venue:
  • Proceedings of the International Conference on Formal Methods in Programming and Their Applications
  • Year:
  • 1993

  • Idel Stream Algebra

    Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

Quantified Score

Hi-index 0.02

Visualization

Abstract