Similar Items: Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
- Two Variable vs. Linear Temporal Logic in Model Checking and Games
- Linear Encodings of Bounded LTL Model Checking
- Bounded Linear Logic, Revisited
- The complexity of linear-time temporal logic over the class of ordinals
- Linear Datalog and Bounded Path Duality of Relational Structures
- The parameterized space complexity of model-checking bounded variable first-order logic