scientific article
From MaRDI portal
Publication:3663501
zbMath0516.18007MaRDI QIDQ3663501
Publication date: 1982
Full work available at URL: https://eudml.org/doc/209226
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
treecontractionmetricalgebraic theoryiterative theorymatrix theoriesmatricial theoriessequacious function
Graph theory (including graph drawing) in computer science (68R10) Metric spaces, metrizability (54E35) Theories (e.g., algebraic theories), structure, and semantics (18C10) General topics in the theory of software (68N01) Categorical structures (18D99)
Related Items (3)
The equational logic of fixed points ⋮ Iterative factor algebras and induced metrics ⋮ All solutions of a system of recursion equations in infinite trees and other contraction theories
This page was built for publication:
