"Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]."

Jörg Flum, Erich Grädel, Thomas Wilke (2008)

Details and statistics

DOI:

access: unavailable

type: Editorship

metadata version: 2010-12-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics