The initial meadows (Q4931095): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Meadows and the equational specification of division / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4198895 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Subdirect unions in universal algebra / rank | |||
Normal rank | |||
Latest revision as of 06:27, 3 July 2024
scientific article; zbMATH DE number 5795048
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The initial meadows |
scientific article; zbMATH DE number 5795048 |
Statements
The initial meadows (English)
0 references
4 October 2010
0 references
data structures
0 references
specification languages
0 references
initial algebra semantics
0 references
word problem
0 references
decidability
0 references
computable algebras
0 references
normal forms
0 references
0 references
