A Concurrent Branching Time Temporal Logic

Authors:
Wojciech Penczek
Affiliations:
-
Venue:
CSL '89 Proceedings of the 3rd Workshop on Computer Science Logic
Year:
1989

Citing 0
Cited 2

Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz

Quantified Score

Hi-index	0.01

Visualization

Abstract