126 search results - page 26 / 26 » Modal Logic in Two Gestalts |
171
click to vote
STACS
2010
Springer
16 years 28 days ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...