Danko Ilik
发表
Danko Ilik,
2013,
ArXiv.
Zoran Utkovski,
Ljupco Kocarev,
Danko Ilik,
2013,
ISWCS.
Danko Ilik,
2014,
PPDP '14.
Danko Ilik,
2012
.
Danko Ilik,
2012,
COS.
Danko Ilik,
2013
.
Danko Ilik,
Danko Ilik,
2014,
CSL-LICS.
Danko Ilik,
2013,
Ann. Pure Appl. Log..
Danko Ilik,
Danko Ilik,
2010
.
Keiko Nakata,
Danko Ilik,
2012,
ArXiv.
Danko Ilik,
Danko Ilik,
2006,
TYPES.
Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms
pdf
Danko Ilik,
2019,
ArXiv.
Zakaria Chihani,
Danko Ilik,
2015,
ArXiv.
Danko Ilik,
Danko Ilik,
2010,
Ann. Pure Appl. Log..
Danko Ilik,
2017,
POPL.
Danko Ilik,
Taus Brock-Nannestad,
2019,
Math. Log. Q..
Danko Ilik,
2013
.
Danko Ilik,
2015,
POPL 2015.
Danko Ilik,
Danko Ilik,
2016,
FLAP.
Hugo Herbelin,
Gyesik Lee,
Danko Ilik,
2009,
Ann. Pure Appl. Log..
Keiko Nakata,
Danko Ilik,
2013,
TYPES.
Danko Ilik,
Danko Ilik,
2010
.
Danko Ilik,
2015
.
Hugo Herbelin,
Danko Ilik,
Hugo Herbelin,
2016
.