Monadic second-order logic on tree-like structures

Author： Walukiewicz I.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.275, Iss.1, 2002-03, pp. : 311-346

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

A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars

By Bloem R.   Engelfriet J.  

Journal of Computer and System Sciences, Vol. 61, Iss. 1, 2000-08 ,pp. : 1-50

Academic Press

Access to resources Recommend Favorite

On translations of temporal logic of actions into monadic second-order logic

By Rabinovich A.  

Theoretical Computer Science, Vol. 193, Iss. 1, 1998-02 ,pp. : 197-214

Elsevier

Access to resources Recommend Favorite

On the existence of a modal-logical basis for monadic second-order logic

By Hella Lauri   Tulenheimo Tero  

Journal of Logic and Computation, Vol. 23, Iss. 1, 2013-02 ,pp. : 157-180

Oxford University Press

Access to resources Recommend Favorite

The monadic second-order logic of graphs X: Linear orderings

By Courcelle B.  

Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. : 87-143

Elsevier

Access to resources Recommend Favorite

The monadic second-order logic of graphs IX: Machines and their behaviours

By Courcelle B.  

Theoretical Computer Science, Vol. 151, Iss. 1, 1995-11 ,pp. : 125-162

Elsevier

Access to resources Recommend Favorite