On systems of equations defining infinite graphs

DOI10.1007/3-540-50728-0_35MaRDI QIDQ6199454

Michel Bauderon

Publication date: 28 February 2024

Published in: Graph-Theoretic Concepts in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Hypergraphs (05C65) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cites Work

• Fundamental properties of infinite trees
• The theory of ends, pushdown automata, and second-order logic
• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
• Least fixed point of a functor
• Power domains
• A fixpoint theorem for complete categories
• Graph expressions and graph rewritings
• Algebraic specification of data types: A synthetic approach
• The Category-Theoretic Solution of Recursive Domain Equations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On systems of equations defining infinite graphs