Michal Walicki

发表

Michal Walicki, Sigurd Meldal, 1997 .
Michal Walicki, Sigurd Meldal, M. Walicki, 1997, SIAM J. Comput..
Diogo R. Ferreira, Michal Walicki, D. R. Ferreira, 2011, Data Knowl. Eng..
Michal Walicki, Thomas Ågotnes, M. Walicki, 2008, Log. J. IGPL.
Michal Walicki, Sigurd Meldal, M. Walicki, 1995, TAPSOFT.
Michal Walicki, Sigurd Meldal, M. Walicki, 1997, CSUR.
Michal Walicki, 2005, CALCO.
Michal Walicki, Uwe Wolter, Jack Douglas Stecher, 2005 .
Sjur K. Dyrkolbotn, Michal Walicki, 2012, Discret. Math..
Sjur K. Dyrkolbotn, Michal Walicki, 2013, Synthese.
Michal Walicki, Marc Bezem, Tore Langholm, 2007, LPAR.
Yngve Lamo, Michal Walicki, 2002, Electron. Notes Theor. Comput. Sci..
Michal Walicki, Marc Bezem, Wojtek Szajnkenig, 2009, J. Log. Lang. Inf..
Michal Walicki, Valentinas Kriauciukas, 1995, COMPASS/ADT.
Michal Walicki, Thomas Ågotnes, 2005, DALT.
Michal Walicki, 2019, Discret. Math..
Michal Walicki, Sigurd Meldal, M. Walicki, 2001, ISAS-SCI.
Diogo R. Ferreira, Michal Walicki, 2010, IEEE Congress on Evolutionary Computation.
Michal Walicki, Sigurd Meldal, Aida Pliuskeviciene, 1994, LFCS.
Sjur K. Dyrkolbotn, Michal Walicki, M. Walicki, 2012, J. Discrete Algorithms.
Michal Walicki, Sigurd Meldal, M. Walicki, 1998 .
Michal Walicki, Sigurd Meldal, Adis Hodzic, 2001, FCT.
Manfred Broy, Michal Walicki, 1995, Nord. J. Comput..
Magne Haveraaen, Michal Walicki, Sigurd Meldal, 2001, Mathematical Structures in Computer Science.
Michal Walicki, Marcin Bialasik, 1997, WADT.
Sriram Sankar, Michal Walicki, Jens U Skakkebaek, 1991 .
Michal Walicki, Sigurd Meldal, M. Walicki, 1994, COMPASS/ADT.
Michal Walicki, 2017, J. Symb. Log..
Michal Walicki, Marc Bezem, Clemens Grabmayer, 2010, Ann. Pure Appl. Log..
Yngve Lamo, Michal Walicki, 2003, Electron. Notes Theor. Comput. Sci..
Yngve Lamo, Michal Walicki, 2001, ISAS-SCI.
Yngve Lamo, Michal Walicki, 2006, Theor. Comput. Sci..
Michal Walicki, Uwe Wolter, Jack Douglas Stecher, 2006 .
Michal Walicki, Sigurd Meldal, M. Walicki, 1993, ICLP Workshop on Logic Programming with Sets.
Michal Walicki, Valentinas Kriauciukas, 1994, CSL.
Yngve Lamo, Michal Walicki, 2001, Nord. J. Comput..
Michal Walicki, Sigurd Meldal, 1993 .