0 | -- | 0 | James Laird. Bistable Biorders: A Sequential Domain Theory |
0 | -- | 0 | Thomas Colcombet, Christof Löding. Transforming structures by set interpretations |
0 | -- | 0 | Roland Axelsson, Martin Lange, Rafal Somla. The Complexity of Model Checking Higher-Order Fixpoint Logic |
0 | -- | 0 | Emil W. Kiss, Matthew Valeriote. On tractability and congruence distributivity |
0 | -- | 0 | Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan. Automatic Structures: Richness and Limitations |
0 | -- | 0 | Shuvendu K. Lahiri, Thomas Ball, Byron Cook. Predicate Abstraction via Symbolic Decision Procedures |
0 | -- | 0 | Joost Engelfriet, Hendrik Jan Hoogeboom. Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure |