G | |
---|---|
[GS06] | Martin Grohe et
Nicole Schweikardt.
The Succinctness of First-Order Logic on Linear
Orders.
Logical Methods in Computer Science 1(1):1-25. Juin 2006.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1