Ordinal theory for expressiveness of well-structured transition systems

• 期刊名称Information and Computation
• 作者Bonnet, Rémi; Finkel, Alain; Haddad, Serge; Rosa-Velardo, Fernando
• 卷第224卷
• 印刷ISSN0890-5401
• 文件大小526.88KB
• 发表时间2013-3
• DOI10.1016/j.ic.2012.11.003
• 页码1-22