A Hierarchy of Automatic ω-Words having a Decidable MSO Theory

E-ISSN： 1290-385x|42|3|417-450

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.42, Iss.3, 2008-06, pp. : 417-450

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Hierarchy Theory

Ecology, Vol. 55, Iss. 5, 1974-08 ,pp. : 1174-1174

John Wiley & Sons Inc

Access to resources Recommend Favorite

Hierarchy Theory and Practice

Ecology, Vol. 68, Iss. 4, 1987-08 ,pp. : 1126-1126

John Wiley & Sons Inc

Access to resources Recommend Favorite

Decision algorithms for Fibonacci-automatic Words, I: Basic results

By Mousavi Hamoon Schaeffer Luke Shallit Jeffrey

RAIRO - Theoretical Informatics and Applications, Vol. 50, Iss. 1, 2016-06 ,pp. : 39-66

Edp Sciences

Access to resources Recommend Favorite

The contribution of hierarchy theory to environmental assessment: application to water resource management

By Pietro Francesca Di

International Journal of Environment and Pollution, Vol. 12, Iss. 4, 1999-08 ,pp. : 383-399

Inderscience Publishers

Access to resources Recommend Favorite

Weakly maximal decidable structures

By Bès Alexis Cégielski Patrick

RAIRO - Theoretical Informatics and Applications, Vol. 42, Iss. 1, 2008-01 ,pp. : 137-145

Edp Sciences

Access to resources Recommend Favorite