G | |
---|---|
[GS06] | Martin Grohe and
Nicole Schweikardt.
The Succinctness of First-Order Logic on Linear
Orders.
Logical Methods in Computer Science 1(1):1-25. June 2006.
|
Search
Displayed 1 resultList of authors
- 1
- 1
G | |
---|---|
[GS06] | Martin Grohe and
Nicole Schweikardt.
The Succinctness of First-Order Logic on Linear
Orders.
Logical Methods in Computer Science 1(1):1-25. June 2006.
|