On the formal treatment of a permutation finding program

  • Authors:
  • K. T. Narayana;M. Clint

  • Affiliations:
  • The Queen's University of Belfast, Belfast, Northern Ireland, United Kingdom.;The Queen's University of Belfast, Belfast, Northern Ireland, United Kingdom.

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1981

Quantified Score

Hi-index 0.01

Visualization

Abstract