-
Green's Relations and Their Use in Automata Theory
International audience -
Logic of Time Division on Intervals of Finite Size
Logic of time division (or TD) was formulated in (Tulenheimo, 2008). It is syntactically like basic modal logic with an additional unary operator but it has an... -
On the Existence of a Modal-Logical Basis for Monadic Second-Order Logic
International audience -
Coding partitions of regular sets
International audience -
Separating Regular Languages by Piecewise Testable and Unambiguous Languages
International audience
