Games for Inclusion Logic and Fixed-Point Logic

Birkhäuser Basel (2016) [Buchbeitrag]

Dependence Logic. Theory and Applications

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Grädel, Erich