Fundamenta Informaticae > 2022 > Vol. 186, nr 1-4 > 155--173
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Trakhtenbrot BA. Finite automata and monadic second order logic. Siberian Math. J, 1962. 3:101-131. English translation in: AMS Transl. 59 (1966), 23-55.
-
[2] Fischer E, Makowsky J. Linear Recurrence Relations for Graph Polynomials. In: Avron A, Dershowitz N, Rabinowitz A (eds.), Boris (Boaz) A. Trakhtenbrot on the occasion of his 85th birthday, volume 4800 of LNCS. Springer, 2008 pp. 266-279. doi:10.1007/978-3-540-78127-1 15.
-
[3] Blatter C, Specker E. Recurrence relations for the number of labeled structures on a finite set. In: Börger E, Hasenjaeger G, Rödding D (eds.), In Logic and Machines: Decision Problems and Complexity, volume 171 of Lecture Notes in Computer Science. Springer, 1984 pp. 43-61.