Pages that link to "Item:Q1199555"
From MaRDI portal
The following pages link to On undecidability of propositional temporal logics on trace systems (Q1199555):
Displaying 5 items.
- Undecidability of partial order logics (Q294640) (← links)
- The decidability border of hereditary history preserving bisimilarity (Q835053) (← links)
- Logics and decidability for labelled pre- and partially ordered Kripke structures (Q1328764) (← links)
- Deciding global partial-order properties (Q1774565) (← links)
- Difficult configurations -- on the complexity of LTrL (Q1774566) (← links)
