Persistent URL of this record https://hdl.handle.net/1887/59720
Documents
-
- Download
- Automata with nested pebbles capture first-order logic with transitive closure
- Not Applicable (or Unknown)
- open access
- Full text at publishers site
In Collections
This item can be found in the following collections:
Automata with nested pebbles capture first-order logic with transitive closure
- All authors
- Engelfriet, J.; Hoogeboom, H.J.
- Editor(s)
- Engelfriet J., Hoogeboom H.J.
- Date
- 2007
- Volume
- 3
- Issue
- 2-3
- Pages
- 1 - 27