scientific article; zbMATH DE number 3617586

From MaRDI portal

Publication:4181303

Jump to:navigation, search

zbMath0397.68086MaRDI QIDQ4181303

Jerzy Tiuryn

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Computation Semantics Fixed-Points Algebra of Regular Sigma-Trees Algebras with Infinitely Long Expressions Generalized Polynomials Recursive Monadic Program Scheme Regular Context-Free Language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categories of algebras (08C05)

Related Items (3)

Varieties of chain-complete algebras ⋮ Unnamed Item ⋮ Tree constructions of free continuous algebras

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4181303&oldid=18012336"