Concepedia

Monadic second-order definable graph transductions: a survey

Bruno Courcelle

Theoretical Computer Science · 1994 · 226 citations · 23 references

DOI

Concepts

References

23

The monadic second-order logic of graphs. I. Recognizable sets of finite graphs

Bruno Courcelle · Information and Computation · 1990 · 1.5K citations

, , +10

Transductions and Context-Free Languages

Jean Berstel · 1979 · 1.3K citations

, , +8

Easy problems for tree-decomposable graphs

Stefan Arnborg, Jens Lagergren, Detlef Seese · Journal of Algorithms · 1991 · 874 citations

, , +9

Weak Second‐Order Arithmetic and Finite Automata

J Büchi · Mathematical logic quarterly · 1960 · 819 citations

, , +9

Algorithms for Minimum Coloring, Maximum Clique, Minimum Covering by Cliques, and Maximum Independent Set of a Chordal Graph

Fǎnicǎ Gavril · SIAM Journal on Computing · 1972 · 536 citations

, , +11