research
∙
11/30/2019
Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)
We introduce a novel automata model, called pebble-intervals automata (P...
research
∙
10/20/2019