A (Non-elementary) Modular Decision Procedure for LTrL

Authors:
Paul Gastin;Raphaël Meyer;Antoine Petit
Affiliations:
-;-;-
Venue:
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
Year:
1998

Citing 0
Cited 3

Deciding LTL over Mazurkiewicz traces

Data & Knowledge Engineering - Special issue: Temporal representation and reasoning
LTL is expressively complete for Mazurkiewicz traces

Journal of Computer and System Sciences
An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces

CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract