Logical and Computational Invariants of Programs

  • Authors:

  • Lars Hallnäs

  • Affiliations:

  • -

  • Venue:
  • ELP '99 Proceedings of the Second International Workshop on Extensions of Logic Programming
  • Year:
  • 1991

Quantified Score

Hi-index 0.00

Visualization

Abstract