Publicaciones
Autores:
Anupam Das
Publicado en:
Automated Reasoning, Edición 10900, 2018, Página(s) 689-705, ISBN 978-3-319-94204-9
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-94205-6_45
Autores:
Anupam Das, Amina Doumane, Damien Pous
Publicado en:
EPiC Series in Computing volume 57, 2018, Página(s) 271-251
Editor:
EasyChair
DOI:
10.29007/hzq3
Autores:
Anupam Das, Damien Pous
Publicado en:
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018, Página(s) 19:1--19:18
Editor:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.csl.2018.19
Autores:
Anupam Das, Isabel Oitavem
Publicado en:
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018
Editor:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.csl.2018.18
Autores:
Anupam Das, Colin Riba
Publicado en:
2019
Editor:
arXiv
Autores:
Das, Anupam
Publicado en:
Edición 1, 2019
Editor:
arXiv
Autores:
Sam Buss, Anupam Das, Alexander Knop
Publicado en:
2019
Editor:
arXiv
Autores:
Das, Anupam
Publicado en:
Edición 1, 2019
Editor:
arXiv
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles