Concepedia

An Internal Presentation of Regular Graphs by Prefix-Recognizable Graphs

Didier Caucal, Teodor Knapik

Theory of Computing Systems · 2001 · 10 citations · 11 references

DOI

Concepts

References

11

Results on the propositional μ-calculus

Dexter Kozen · Theoretical Computer Science · 1983 · 1.8K citations

, , +4

Transductions and Context-Free Languages

Jean Berstel · 1979 · 1.3K citations

, , +8

Handle-rewriting hypergraph grammars

Bruno Courcelle, Joost Engelfriet, Grzegorz Rozenberg · Journal of Computer and System Sciences · 1993 · 326 citations

The theory of ends, pushdown automata, and second-order logic

David E. Muller, Paul E. Schupp · Theoretical Computer Science · 1985 · 317 citations

, , +9

The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues

B. Courcelle · RAIRO - Theoretical Informatics and Applications · 1992 · 184 citations · Full text

, , +13