文章基本信息
- 标题：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.
