| |
| 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 | EE | Thierry Lacoste: 0-1 Laws by Preservation. Theor. Comput. Sci. 184(1-2): 237-245 (1997) |
| 1996 | ||
| 1 | EE | Thierry Lacoste: Finitistic Proofs of 0-1 Laws for Fragments of Second-Order Logic. Inf. Process. Lett. 58(1): 1-4 (1996) |