Beklemishev, Lev D.
[Sonstige Person, Familie und Körperschaft];
Queiroz, Ruy de
[Sonstige Person, Familie und Körperschaft];
Beklemišev, Lev D.
[HerausgeberIn];
Queiroz, Ruy J. G. B. de
[HerausgeberIn]
;
WoLLIC 18 2011 Philadelphia, Pa
Logic, language, information and computation
: 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings