Toggling operators in computability logic (Q631756)
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 5865585
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Toggling operators in computability logic |
scientific article; zbMATH DE number 5865585 |
Statements
Toggling operators in computability logic (English)
0 references
14 March 2011
0 references
computability logic
0 references
game semantics
0 references
interactive computation
0 references
constructive logics
0 references
resource logics
0 references
axiomatization
0 references
0.91077197
0 references
0.8859526
0 references
0.85284436
0 references
0 references
0.8520133
0 references
0 references
