Revision as of 14:28, 21 July 2007 edit CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits →References: switch stub type ← Previous edit		Revision as of 22:06, 16 May 2011 edit undo George100 (talk \| contribs) Extended confirmed users 13,129 edits Update paper reference, add oclc Next edit →
Line 6: ==References== * Erich Graedel, Martin Otto, and Eric Rosen. "Two-Variable Logic with Counting is Decidable." In ''Proceedings of 12th IEEE Symposium on Logic in Computer Science LICS `97'', Warschau. 1997. [http://www-mgi.informatik.rwth-aachen.de/Publications/pub/graedel/gorc2.ps Postscript file] {{oclc\|282402933}} ~~http://www-mgi.informatik.rwth-aachen.de/Publications/pub/graedel/gorc2.ps~~ [[Category:Quantification]]

Counting quantification: Difference between revisions