M. Walicki
发表
M. Walicki,
2017
.
M. Walicki,
Adis Hodzic,
S. Meldal,
2003
.
Thomas Ågotnes,
M. Walicki,
2005
.
M. Bezem,
M. Walicki,
Wojtek Szajnkenig,
2006
.
Michal Walicki,
Sigurd Meldal,
M. Walicki,
1997,
CSUR.
M. Walicki,
2022
.
M. Walicki,
2020,
Log. J. IGPL.
M. Walicki,
S. Meldal,
1995
.
M. Walicki,
2005
.
Michal Walicki,
Sigurd Meldal,
M. Walicki,
2001,
ISAS-SCI.
Sjur K. Dyrkolbotn,
M. Walicki,
2014,
Synthese.
M. Walicki,
1994
.
M. Walicki,
2021
.
Michal Walicki,
Marc Bezem,
Clemens Grabmayer,
2010,
Ann. Pure Appl. Log..
Sjur K. Dyrkolbotn,
Michal Walicki,
M. Walicki,
2012,
J. Discrete Algorithms.
Michal Walicki,
Sigurd Meldal,
M. Walicki,
1998
.
M. Walicki,
1997
.
Magne Haveraaen,
Michal Walicki,
Sigurd Meldal,
2001,
Mathematical Structures in Computer Science.
Michal Walicki,
Marc Bezem,
Tore Langholm,
2007,
LPAR.
Michal Walicki,
Marc Bezem,
Wojtek Szajnkenig,
2009,
J. Log. Lang. Inf..
Michał Walicki,
M. Walicki,
2011
.
Michal Walicki,
Sigurd Meldal,
M. Walicki,
1997,
SIAM J. Comput..
Michal Walicki,
Sigurd Meldal,
M. Walicki,
1995,
TAPSOFT.
Michal Walicki,
Sigurd Meldal,
M. Walicki,
1995,
TOPL.
Michal Walicki,
Sigurd Meldal,
M. Walicki,
1994,
COMPASS/ADT.
Diogo R. Ferreira,
Michal Walicki,
D. R. Ferreira,
2011,
Data Knowl. Eng..
Michal Walicki,
Sigurd Meldal,
Aida Pliuskeviciene,
1994,
LFCS.
Michal Walicki,
Sigurd Meldal,
M. Walicki,
1993,
ICLP Workshop on Logic Programming with Sets.
Michal Walicki,
Thomas Ågotnes,
M. Walicki,
2008,
Log. J. IGPL.