scientific article
From MaRDI portal
Publication:3953140
zbMath0491.68013MaRDI QIDQ3953140
Publication date: 1982
Full work available at URL: https://eudml.org/doc/92163
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Equivalences and transformations of regular systems - applications to recursive program schemes and grammars ⋮ Concurrent Kleene algebra and its foundations
Cites Work
- Parameter passing in nondeterministic recursive programs
- CLU reference manual
- Permanence of identities on algebras
- The validity of equations of complex algebras
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- On varieties closed under the construction of power algebras
- Initial Algebra Semantics and Continuous Algebras
- Abstract data types and software validation
- Completions of partially ordered sets and universal algebras
- Relation of the Exact Transient Solution for a Line Source near an Interface between Two Fluids to Geometrical Acoustics
- On partially ordered algebras I
- Heterogeneous algebras
- Tree-Manipulating Systems and Church-Rosser Theorems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
