Patrick C?Gielski
AuthID: R-00J-546
1
TÃTULO: Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France
AUTORES: Patrick Cégielski; Arnaud Durand;
PUBLICAÇÃO: 2012, FONTE: CSL, VOLUME: 16
AUTORES: Patrick Cégielski; Arnaud Durand;
PUBLICAÇÃO: 2012, FONTE: CSL, VOLUME: 16
INDEXADO EM: 
DBLP
DBLP