[Zurück]


Wissenschaftliche Berichte:
N. Labai, T. Kotek, M. Ortiz de la Fuente, H. Veith:
"Pebble-Intervals Automata and FO2 with Two Orders (Extended Version";
Bericht für CoRR; Berichts-Nr. 1912.00171, 2019; 45 S.

Elektronische Version der Publikation:
https://arxiv.org/pdf/1912.00171.pdf

Zugeordnete Projekte:
Projektleitung Mantas Simkus:
KtoAPP

Projektleitung Mantas Simkus:
OMEGA

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.