Similar Items: Bounding linear head reduction and visible interaction through skeletons
- Bounded Linear Logic, Revisited
- Reductions to the set of random strings: The resource-bounded case
- Linear Encodings of Bounded LTL Model Checking
- Definable decompositions for graphs of bounded linear cliquewidth
- Linear Datalog and Bounded Path Duality of Relational Structures
- Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
