On models for propositional dynamic logic

  • Authors:

  • P. M. W. Knijnenburg;J. van Leeuwen

  • Affiliations:

  • -;-

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 1991

Quantified Score

Hi-index 5.23

Visualization

Abstract