Ehrenfeucht-Frass Games on Omega-Terms.

Martin Huschenbett, Manfred Kufleitner

Browse the full STACS paper archive.