- CSB - MetaPress - Google - Bing - Yahoo
 | 1997 | |
|---|---|---|
| 3 |      | Thierry Lacoste: A Simplified Proof of the 0-1 Law for Existential Second-Order Ackermann Sentences. Math. Log. Q. 43: 413-418 (1997) |
| 2 |  | Thierry Lacoste: 0-1 Laws by Preservation. Theor. Comput. Sci. 184(1-2): 237-245 (1997) |
| 1996 | ||
| 1 | | Thierry Lacoste: Finitistic Proofs of 0-1 Laws for Fragments of Second-Order Logic. Inf. Process. Lett. 58(1): 1-4 (1996) |