Adam Koprowski
发表
Herman Geuvers,
Adam Koprowski,
Dan Synek,
2010,
ITP.
Adam Koprowski,
Henri Binsztok,
Henri Binsztok,
2010,
Log. Methods Comput. Sci..
Adam Koprowski,
2006,
RTA.
Sébastien Hinderer,
Frédéric Blanqui,
Adam Koprowski,
2006
.
Adam Koprowski,
Henri Binsztok,
2010,
ESOP.
Hans Zantema,
Adam Koprowski,
H. Zantema,
2006
.
Adam Koprowski,
2006,
RTA.
Johannes Waldmann,
Adam Koprowski,
A. Koprowski,
2008,
RTA.
Adam Koprowski,
A. Koprowski,
2009,
Applicable Algebra in Engineering, Communication and Computing.
Frédéric Blanqui,
Adam Koprowski,
F. Blanqui,
2011,
Mathematical Structures in Computer Science.
Johannes Waldmann,
Adam Koprowski,
2009,
Acta Cybern..
Adam Koprowski,
2005
.
Hans Zantema,
Adam Koprowski,
H. Zantema,
2005,
FroCoS.
Aart Middeldorp,
Adam Koprowski,
A. Middeldorp,
2007,
CADE.
Frédéric Blanqui,
Adam Koprowski,
2012
.
Hans Zantema,
Adam Koprowski,
2008,
SOFSEM.