托马斯·威尔克 对离散时间属性进行分类。 （英文） Zbl 0926.03018号 Meinel，Christoph（编辑）等人，STACS 99。1999年3月4日至6日在德国特里尔举行的第16届计算机科学理论方面年度研讨会。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1563, 32-46 (1999). 摘要：本文综述了离散时间属性分类的最新结果，介绍了获得离散时间属性的方法，并解释了与有限自动机理论、有限半群理论和一阶逻辑的联系。关于整个系列，请参见[Zbl 0909.00052号]. 引用于2评论引用于26文件 MSC公司： 03B44号 时间逻辑 05年3月 与逻辑问题相关的自动机和形式文法 20立方米 自动机理论、语言学等中的半群。 03B10号机组 经典一阶逻辑 关键词：离散时间特性的分类;有限自动机;有限半群;一阶逻辑 PDF格式BibTeX公司 XML格式引用 \textit{T.Wilke}，莱克特。注释计算。科学。1563，32-46（1999；Zbl 0926.03018）