scientific article
From MaRDI portal
Publication:3049836
zbMath0414.68055MaRDI QIDQ3049836
Michael A. Arbib, Ernest G. Manes
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (7)
Unnamed Item ⋮ Machines in a category ⋮ Varieties of chain-complete algebras ⋮ Tree constructions of free continuous algebras ⋮ Unnamed Item ⋮ Infinite hypergraphs. I: Basic properties ⋮ Tensor product of partially-additive monoids
This page was built for publication:
