Scalar and vector iteration

DOI10.1016/S0022-0000(77)80015-9zbMath0358.68072MaRDI QIDQ1238420

Susanna Ginali, Stephen L. Bloom, Joseph D. Rutledge

Publication date: 1977

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (12)

The equational logic of fixed points ⋮ Partially additive categories and flow-diagram semantics ⋮ Varieties of chain-complete algebras ⋮ Regular trees and the free iterative theory ⋮ On the algebraic structure of rooted trees ⋮ Dagger extension theorem ⋮ Axiomatizing schemes and their behaviors ⋮ Kleene Theorem in Partial Conway Theories with Applications ⋮ Unique, guarded fixed points in an additive setting ⋮ Recursion and iteration in continuous theories: the M-construction ⋮ Extensions of iterative congruences of free iterative algebras ⋮ Fundamental properties of infinite trees

Cites Work

• On the algebraic structure of rooted trees
• A Perspective View of Discrete Automata and Their Design

This page was built for publication: Scalar and vector iteration