The Complexity of the Coverability, the Containment, and the Equivalence Problems for Commutative Semigroups

  • Authors:

  • Ulla Koppenhagen;Ernst W. Mayr

  • Affiliations:

  • -;-

  • Venue:
  • FCT '97 Proceedings of the 11th International Symposium on Fundamentals of Computation Theory
  • Year:
  • 1997

  • On model checking boolean BI

    CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic

Quantified Score

Hi-index 0.00

Visualization

Abstract