The initial meadows (Q4931095): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: 0806.2256 / rank | |||
Normal rank | |||
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