On the complexity of equivalence of specifications of infinite objects (Q5168890)
From MaRDI portal
scientific article; zbMATH DE number 6318868
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the complexity of equivalence of specifications of infinite objects |
scientific article; zbMATH DE number 6318868 |
Statements
On the complexity of equivalence of specifications of infinite objects (English)
0 references
21 July 2014
0 references
complexity
0 references
equality
0 references
equational specifications
0 references
infinite objects
0 references
lambda terms
0 references
semantics
0 references
