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

Author： Courcelle B.  

Publisher： Elsevier

ISSN： 0304-3975

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

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

The monadic second-order logic of graphs XII: planar graphs and planar maps

By Courcelle B.  

Theoretical Computer Science, Vol. 237, Iss. 1, 2000-04 ,pp. : 1-32

Elsevier

Access to resources Recommend Favorite

The monadic second-order logic of graphs XI: Hierarchical decompositions of connected graphs

By Courcelle B.  

Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. : 35-58

Elsevier

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 XIV: uniformly sparse graphs and edge set quantifications

By Courcelle B.  

Theoretical Computer Science, Vol. 299, Iss. 1, 2003-04 ,pp. : 1-36

Elsevier

Access to resources Recommend Favorite

Monadic second-order logic on tree-like structures

By Walukiewicz I.  

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

Elsevier

Access to resources Recommend Favorite