A Logic of Capabilities

  • Authors:
  • Wiebe van der Hoek;Bernd van Linder;John-Jules Ch. Meyer

  • Affiliations:
  • -;-;-

  • Venue:
  • LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
  • Year:
  • 1994

Quantified Score

Hi-index 0.00

Visualization

Abstract