scientific article; zbMATH DE number 1330451

From MaRDI portal

Revision as of 17:09, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4261094

Jump to:navigation, search

zbMath0924.68114MaRDI QIDQ4261094

Lawrence S. Moss

Publication date: 21 September 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=20#20024

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

zbMATH Keywords

equational logic of corecursion final coalgebra maps

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (4)

Infinite trees and completely iterative theories: A coalgebraic view ⋮ On the equational definition of the least prefixed point. ⋮ A Coalgebraic View of Infinite Trees and Iteration ⋮ Parametric corecursion

This page was built for publication:

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