文章基本信息

标题：Deciding definability in FO2(
本地全文：下载
作者：Thomas Place ; Luc Segoufin
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2015
卷号：11
期号：3
页码：1
DOI：10.2168/LMCS-11(3:5)2015
出版社：Technical University of Braunschweig
摘要：We provide a decidable characterization of regular forest languages definable in FO2(
其他关键词：Tree Languages,Tree Automata, Two-Variables First-Order Logic, Characterization.