This is the archive of our old webpages.
You find our new site at www.lii.rwth-aachen.de

Chair of Computer Science 7
Logic and Theory of Discrete Systems

Prof. Dr. Martin Grohe, Prof. Dr. Dr.h.c. Wolfgang Thomas

Publications of Benedikt Brütsch

All Publications

[Brü13]

Benedikt Brütsch. Synthesizing structured reactive programs via deterministic tree automata. In Fabio Mogavero, Aniello Murano, and Moshe Y. Vardi, editors, Proceedings 1st International Workshop on Strategic Reasoning, volume 112 of Electronic Proceedings in Theoretical Computer Science, pages 107-113. Open Publishing Association, 2013.
[ pdf | http | Abstract ]

Disclaimer • Last modification: 2014/08/23 • HTML

This is the archive of our old webpages.You find our new site at www.lii.rwth-aachen.de

Chair of Computer Science 7Logic and Theory of Discrete Systems

Publications of Benedikt Brütsch

All Publications

This is the archive of our old webpages.
You find our new site at www.lii.rwth-aachen.de

Chair of Computer Science 7
Logic and Theory of Discrete Systems