Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001] - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Erich Grädel, Wolfgang Thomas, Thomas Wilke, editors, Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]. Volume 2500 of Lecture Notes in Computer Science, Springer, 2002.

Conference: Dagstuhl2002

This author has not been identified. Look up 'Erich Grädel' in GoogleThis author has not been identified. Look up 'Wolfgang Thomas' in GoogleThis author has not been identified. Look up 'Thomas Wilke' in Google

runs on WebDSL