Pages that link to "Item:Q975478"
From MaRDI portal
The following pages link to A purely model-theoretic proof of the exponential succinctness gap between CTL\(^{+}\) and CTL (Q975478):
Displayed 3 items.
The following pages link to A purely model-theoretic proof of the exponential succinctness gap between CTL\(^{+}\) and CTL (Q975478):
Displayed 3 items.