Sign in

Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words.

Wolfgang Thomas
Published in: Structures in Logic and Computer Science (1997)
Keyphrases