0-1 laws for recursive structures.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 4, p. 205
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 1999 AND VI 38 AND IP 4
Results: 6
1
2
An existential fragment of second order logic.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 4, p. 217, doi. 10.1007/s001530050126
- By:
- Publication type:
- Article
3
Bounded variable logics: two, three, and more.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 4, p. 235, doi. 10.1007/s001530050127
- By:
- Publication type:
- Article
4
Normalizable linear orders and generic computations in finite models.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 4, p. 257, doi. 10.1007/s001530050128
- By:
- Publication type:
- Article
5
Random graphs in the monadic theory of order.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 4, p. 273, doi. 10.1007/s001530050129
- By:
- Publication type:
- Article
6
Undecidability results on two-variable logics.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 4, p. 313
- By:
- Publication type:
- Article