Regular trees and the free iterative theory
type: Item
instance of: scholarly article
title: Regular trees and the free iterative theory
zbMATH Open document ID: 0495.68042
DOI: 10.1016/0022-0000(79)90032-1
author: Susanna Ginali
published in: Journal of Computer and System Sciences
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q99
Mathematics Subject Classification ID: 68Q70
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3780562
zbMATH Keywords: equationally defined trees
zbMATH Keywords: Elgot's iterative algebraic theories
zbMATH Keywords: free iterative theory
zbMATH Keywords: decision problems involving flowchart schemes
zbMATH Keywords: fixed point models for iteration
MaRDI profile type: Publication
full work available at URL: 0022-0000(79)90032-1
OpenAlex ID: W1984467134
cites work: The existence and construction of free iterative theories
cites work: Scalar and vector iteration
cites work: Automata in general algebras
cites work: A Perspective View of Discrete Automata and Their Design
cites work: Structured Programming With and Without go to Statements
cites work: Q4168048
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Q4178466
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Q4693151
cites work: Q5636307
description: scientific article; zbMATH DE number 3780562