The Complexity of the Graded µ-Calculus

  • Authors:
  • Orna Kupferman;Ulrike Sattler;Moshe Y. Vardi

  • Affiliations:
  • -;-;-

  • Venue:
  • CADE-18 Proceedings of the 18th International Conference on Automated Deduction
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract