Publikacje
Autorzy:
Anupam Das
Opublikowane w:
Automated Reasoning, Numer 10900, 2018, Strona(/y) 689-705, ISBN 978-3-319-94204-9
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-94205-6_45
Autorzy:
Anupam Das, Amina Doumane, Damien Pous
Opublikowane w:
EPiC Series in Computing volume 57, 2018, Strona(/y) 271-251
Wydawca:
EasyChair
DOI:
10.29007/hzq3
Autorzy:
Anupam Das, Damien Pous
Opublikowane w:
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018, Strona(/y) 19:1--19:18
Wydawca:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.csl.2018.19
Autorzy:
Anupam Das, Isabel Oitavem
Opublikowane w:
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018
Wydawca:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.csl.2018.18
Autorzy:
Anupam Das, Colin Riba
Opublikowane w:
2019
Wydawca:
arXiv
Autorzy:
Das, Anupam
Opublikowane w:
Numer 1, 2019
Wydawca:
arXiv
Autorzy:
Sam Buss, Anupam Das, Alexander Knop
Opublikowane w:
2019
Wydawca:
arXiv
Autorzy:
Das, Anupam
Opublikowane w:
Numer 1, 2019
Wydawca:
arXiv
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników