Search Results for 'uniluebeckde'

uniluebeckde published presentations and documents on DocSlides.

Where FirstOrder and Monadic SecondOrder Logic Coincide Michael Elberfeld Institut f ur Theoretische Informatik Universit at zu L ubeck D L ubeck Germany elberfeldtcs

by stefany-barnette

uniluebeckde Martin Grohe Institut f ur Informatik...