Deciding definability in FO2(<h,<v) on trees

Deciding definability in FO2(<h,<v) on trees

We provide a decidable characterization of regular forest languages definable in FO2(

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Logical methods in computer science 2015-09, Vol.11, Issue 3
Hauptverfasser: Place, Thomas, Segoufin, Luc
Format: Artikel
Sprache:eng
Schlagworte:
computer science - logic in computer science
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We provide a decidable characterization of regular forest languages definable in FO2(
ISSN:1860-5974
1860-5974
DOI:10.2168/LMCS-11(3:5)2015