Equality of streams is a \({\Pi}^0_2\)-complete problem (Q5501465)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6469481
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Equality of streams is a \({\Pi}^0_2\)-complete problem |
scientific article; zbMATH DE number 6469481 |
Statements
Equality of streams is a Π0 over 2-complete problem (English)
0 references
3 August 2015
0 references
algebraic specification
0 references
infinite structures
0 references
streams
0 references
0.8951004147529602
0 references
0.7753376364707947
0 references
0.7664297819137573
0 references
0.7296122908592224
0 references
0.7242922186851501
0 references
