[Back]


Scientific Reports:

N. Labai, T. Kotek, M. Ortiz de la Fuente, H. Veith:
"Pebble-Intervals Automata and FO2 with Two Orders (Extended Version";
Report for CoRR; Report No. 1912.00171, 2019; 45 pages.



Electronic version of the publication:
https://arxiv.org/pdf/1912.00171.pdf



Related Projects:
Project Head Mantas Simkus:
KtoAPP

Project Head Mantas Simkus:
OMEGA


Created from the Publication Database of the Vienna University of Technology.