Holzer, Markus
[HerausgeberIn];
Kutrib, Martin
[Sonstige Person, Familie und Körperschaft];
Pighizzini, Giovanni
[Sonstige Person, Familie und Körperschaft]
;
DCFS 13 2011 Limburg a. d. Lahn
Descriptional complexity of formal systems
: 13 international workshop, DCFS 2011, Limburg, Germany, July 25-27, 2011 ; proceedings