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.
@article{lmcs1(1)-GS,
  author =              {Grohe, Martin and Schweikardt, Nicole},
  title =               {The Succinctness of First-Order Logic on Linear
                         Orders},
  journal =             {Logical Methods in Computer Science},
  volume =              {1},
  number =              {1},
  pages =               {1-25},
  year =                {2006},
  month =               jun,
}
Liste des auteurs