scientific article
From MaRDI portal
Publication:3702515
zbMath0579.68035MaRDI QIDQ3702515
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
iteration theoriesfunctional interpretationequational axiomsflowchart schemevertex-labeled finite directed graph
Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Theory of computing (68Q99)
Related Items
Independence of the equational axioms for iteration theories, The equational logic of fixed points, Classes of finite relations as initial abstract data types. I
