The monadic theory of finite representations of infinite words |
| |
Authors: | Anuj Dawar David Janin |
| |
Affiliation: | a University of Cambridge Computer Laboratory, Cambridge CB3 0FD, UK b LaBRI, Université Bordeaux I, 33405 Talence, France |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|