No label defined (Q4029614)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 139634
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 139634 |
Statements
28 March 1993
0 references
free iterative algebras
0 references
iterative nondeterministic algebras
0 references
0.838585376739502
0 references
0.8360572457313538
0 references
0.8314966559410095
0 references
0.8139237761497498
0 references
0.8073155879974365
0 references
[For the entire collection see Zbl 0745.00057.] Iterative algebras have been introduced by J. Tiuryn as models of Elgot's iterative algebraic theories. They are proposed as semantic domains for programming languages when programs are syntactically described by systems of equations. One of the main problems is the construction of free iterative algebras providing a possibility to reduce semantical questions to syntactical ones. The aim of the paper is the construction of free iterative nondeterministic algebras.
0 references
