scientific article; zbMATH DE number 1870421

zbMath1017.08003MaRDI QIDQ4793033

Jeffery Zucker, J. V. Tucker

Publication date: 18 February 2003

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

zbMATH Keywords

infinitary logicinfinitary termsstreams of data\(\omega\)-conditional equational logicmany-sorted stream algebras

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Data structures (68P05) Other infinitary logic (03C75)

Related Items (2)

Computable total functions on metric algebras, universal algebraic specifications and dynamical systems ⋮ Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms

This page was built for publication: