Publications
Auteurs:
Anupam Das
Publié dans:
Automated Reasoning, Numéro 10900, 2018, Page(s) 689-705, ISBN 978-3-319-94204-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-94205-6_45
Auteurs:
Anupam Das, Amina Doumane, Damien Pous
Publié dans:
EPiC Series in Computing volume 57, 2018, Page(s) 271-251
Éditeur:
EasyChair
DOI:
10.29007/hzq3
Auteurs:
Anupam Das, Damien Pous
Publié dans:
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018, Page(s) 19:1--19:18
Éditeur:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.csl.2018.19
Auteurs:
Anupam Das, Isabel Oitavem
Publié dans:
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018
Éditeur:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.csl.2018.18
Auteurs:
Anupam Das, Colin Riba
Publié dans:
2019
Éditeur:
arXiv
Auteurs:
Das, Anupam
Publié dans:
Numéro 1, 2019
Éditeur:
arXiv
Auteurs:
Sam Buss, Anupam Das, Alexander Knop
Publié dans:
2019
Éditeur:
arXiv
Auteurs:
Das, Anupam
Publié dans:
Numéro 1, 2019
Éditeur:
arXiv
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible