Fundamenta Informaticae > 2007 > Vol. 80, nr 1-3 > 1-29
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Cartier, P., Foata, D.: Problèmes combinatoires de commutation et réarrangements, Lecture Notes in Mathematics, 85, Springer, 1969. Electronic reedition available at: http://www-irma.u-strasbg.fr/~foata/paper/ProbComb.pdf
-
[2] Diekert, V., Gastin, P.: LTL is expressively complete for Mazurkiewicz traces, Journal of Computer and System Sciences, 64, 2002, 396-418.
-
[3] Diekert, V., Gastin, P.: Pure future local temporal logics are expressively complete for Mazurkiewicz traces, Information and Computation, 204, 2006, 1597-1619, Conference version in LATIN 2004, LNCS 2976, 170-182, 2004.