| 2008 |
|---|
| 25 | EE | Thomas Ågotnes,
Michal Walicki:
Complete Axiomatisations of Properties of Finite Sets.
Logic Journal of the IGPL 16(3): 293-313 (2008) |
| 2007 |
|---|
| 24 | EE | Marc Bezem,
Tore Langholm,
Michal Walicki:
Completeness and Decidability in Sequence Logic.
LPAR 2007: 123-137 |
| 2006 |
|---|
| 23 | EE | Yngve Lamo,
Michal Walicki:
Quantifier-free logic for nondeterministic theories.
Theor. Comput. Sci. 355(2): 215-227 (2006) |
| 2005 |
|---|
| 22 | EE | Thomas Ågotnes,
Michal Walicki:
A logic of reasoning, communication and cooperation with syntactic knowledge.
AAMAS 2005: 1135-1136 |
| 21 | EE | Michal Walicki:
Bireachability and Final Multialgebras.
CALCO 2005: 408-423 |
| 20 | EE | Thomas Ågotnes,
Michal Walicki:
Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures.
CLIMA VI 2005: 57-76 |
| 19 | EE | Thomas Ågotnes,
Michal Walicki:
Complete Axiomatizations of Finite Syntactic Epistemic States.
DALT 2005: 33-50 |
| 2003 |
|---|
| 18 | EE | Yngve Lamo,
Michal Walicki:
Quantifier-free logic for multialgebraic theories.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 2002 |
|---|
| 17 | EE | Yngve Lamo,
Michal Walicki:
Combining Specification Formalisms in the ?General Logic? of Multialgebras.
WADT 2002: 328-342 |
| 16 | EE | Yngve Lamo,
Michal Walicki:
Composition and refinement of specifications and parameterised data types.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2001 |
|---|
| 15 | EE | Michal Walicki,
Adis Hodzic,
Sigurd Meldal:
Compositional Homomorphisms of Relational Structures.
FCT 2001: 359-371 |
| 14 | | Yngve Lamo,
Michal Walicki:
Modeling Partiality by Nondeterminism.
ISAS-SCI (1) 2001: 447-452 |
| 13 | | Michal Walicki,
Sigurd Meldal:
Nondeterminism vs. Underspecification.
ISAS-SCI (1) 2001: 551-555 |
| 12 | | Michal Walicki,
Magne Haveraaen,
Sigurd Meldal:
Computation Algebras.
Mathematical Structures in Computer Science 11(5): 597-636 (2001) |
| 11 | EE | Yngve Lamo,
Michal Walicki:
Specification of Parametrized Programs - Persistency Revisited.
Nord. J. Comput. 8(3): 298-323 (2001) |
| 1997 |
|---|
| 10 | | Michal Walicki,
Marcin Bialasik:
Categories of relational structures.
WADT 1997: 418-434 |
| 9 | | Michal Walicki,
Sigurd Meldal:
Singular and Plural Nondeterministic Parameters.
SIAM J. Comput. 26(4): 991-1005 (1997) |
| 1996 |
|---|
| 8 | EE | Michal Walicki,
Sigurd Meldal:
Algebraic Approaches to Nondeterminism: An Overview.
ACM Comput. Surv. 29(1): 30-81 (1996) |
| 1995 |
|---|
| 7 | | Valentinas Kriauciukas,
Michal Walicki:
Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness.
COMPASS/ADT 1995: 306-321 |
| 6 | | Michal Walicki,
Sigurd Meldal:
Generated Models and the omega-Rule: The Nondeterministic Case.
TAPSOFT 1995: 424-438 |
| 5 | EE | Michal Walicki,
Sigurd Meldal:
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism.
ACM Trans. Program. Lang. Syst. 17(2): 366-393 (1995) |
| 4 | | Michal Walicki,
Manfred Broy:
Structured Specifications and Implementation of Nondeterministic Data Types.
Nord. J. Comput. 2(3): 358-395 (1995) |
| 1994 |
|---|
| 3 | | Michal Walicki,
Sigurd Meldal:
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions.
COMPASS/ADT 1994: 453-468 |
| 2 | | Valentinas Kriauciukas,
Michal Walicki:
Reasoning and Rewriting with Set-Relations I: Ground Completeness.
CSL 1994: 264-278 |
| 1 | | Aida Pliuskeviciene,
Regimantas Pliuskevicius,
Michal Walicki,
Sigurd Meldal:
On Specialization of Derivations in Axiomatic Equality Theories.
LFCS 1994: 291-303 |
