scientific article; zbMATH DE number 3815930

zbMATH Open0516.18007MaRDI QIDQ3663501FDOQ3663501

Authors: Stephen L. Bloom 

Publication date: 1982

Full work available at URL: https://eudml.org/doc/209226

Title of this publication is not available (Why is that?)

zbMATH Keywords

treecontractionmetriciterative theoryalgebraic theorymatrix theoriesmatricial theoriessequacious function

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Graph theory (including graph drawing) in computer science (68R10) Metric spaces, metrizability (54E35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical structures (18D99)

Cited In (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:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3663501)