Search results for: Michał Walicki
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 408-423
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 123-137
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies III > Agent Programming and Beliefs > 33-50
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Foundational Aspects of Agency > 57-76
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 328-342
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 424-438
Discrete Mathematics > 2012 > 312 > 16 > 2498-2505
Annals of Pure and Applied Logic > 2012 > 163 > 3 > 200-213
Journal of Discrete Algorithms > 2012 > 10 > Complete > 146-164
Data & Knowledge Engineering > 2011 > 70 > 10 > 821-841
Journal of Logic, Language and Information > 2009 > 18 > 1 > 97-129
Theoretical Computer Science > 2006 > 355 > 2 > 215-227
Electronic Notes in Theoretical Computer Science > 2003 > 84 > Complete > 141-153