Article,

The 0-1 law fails for monadic existential second-order logic on undirected graphs.

.
Inf. Process. Lett., 77 (1): 43-48 (2001)

Meta data

Tags

Users

  • @dblp

Comments and Reviews