Infinitary logic for computer science (Q5204339)
From MaRDI portal
scientific article; zbMATH DE number 7139653
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Infinitary logic for computer science |
scientific article; zbMATH DE number 7139653 |
Statements
Infinitary logic for computer science (English)
0 references
4 December 2019
0 references
expressive power
0 references
winning strategy
0 references
pattern graph
0 references
extension axiom
0 references
asymptotic probability
0 references
