Phan Anh Dung
PhD student
Matematiktorvet, Building 322, 221
2800, Kgs. Lyngby
Publications
(2)- Published
Anatomy of Alternating Quantifier Satisfiability (Work in progress)
Publication: Research - peer-review › Paper – Annual report year: 2012
- Published
From functional programming to multicore parallelism: A case study based on Presburger Arithmetic
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
Projects
(1)Loading map data...
Latest activities and conferences
Loading map data...
ID: 22917