The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
Preprint in arXiv (May 2024)
The most recent citing publications are shown below. View all 496 publications that cite this research output on Dimensions.
Preprint in arXiv (May 2024)
Article in Mathematical Structures in Computer Science (May 2024)
Article in Transactions of the Association for Computational Linguistics (May 2024)