Mathematical logic /

Autor Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, 1944-, Thomas, Wolfgang, 1947-
Vydáno 1994

Mathematical logic /

Autor Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, 1944-, Thomas, Wolfgang, 1947-
Vydáno 2021

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

Vydáno 2006

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

Vydáno 2007

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

Vydáno 1997

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

Vydáno 2002