Results 201 to 204 of about 1,681 (204)
Some of the next articles are maybe not open access.
Computations by fly-automata beyond monadic second-order logic
Theoretical Computer Science, 2016Bruno Courcelle, Irène Durand
exaly
Finite automata based on quantum logic and monadic second-order quantum logic
Science China Information Sciences, 2010Yongming Li
exaly
Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic
Information and Computation, 2000Joachim Niehren
exaly
A characterization of context-free NCE graph languages by monadic second-order logic on trees
2005Joost Engelfriet, Engelfriet Joost
exaly