An existential locality theorem

Martin Grohe and Stefan Wöhrle
Proc. 10th Conf. Eur. Assoc. for Computer Science Logic (CSL 2001), Lecture Notes in Computer Science 2142, Springer-Verlag, 2001, pp. 99–114
Tech. report AIB-2001-07, Rheinisch-Westfälischen Technischen Hochschule Aachen, Fachgruppe Informatik, 2001
http://www-i7.informatik.rwth-aachen.de/download/papers/woehrle/grwo01b.pdf
http://www-i7.informatik.rwth-aachen.de/download/papers/woehrle/grwo01.ps

Cites:

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!