Mathematical logic /

by Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, 1944-, Thomas, Wolfgang, 1947-
Published 1994

STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science : Aachen, Germany, February 22-24, 2007 : proceedings /

Published 2007

STACS 2006 : 23th Annual Symposium on Theoretical Aspects of Computer Science : Marseille, France, February 23-25, 2006 : proceedings /

Published 2006

Computer Science Logic : 11th International Workshop, CSL '97 : Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers /

Published 1997

Automata logics, and infinite games : a guide to current research /

Published 2002