| |
| 2006 | ||
|---|---|---|
| 6 | EE | Yngve Lamo, Michal Walicki: Quantifier-free logic for nondeterministic theories. Theor. Comput. Sci. 355(2): 215-227 (2006) |
| 2003 | ||
| 5 | EE | Yngve Lamo, Michal Walicki: Quantifier-free logic for multialgebraic theories. Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 2002 | ||
| 4 | EE | Yngve Lamo, Michal Walicki: Combining Specification Formalisms in the ?General Logic? of Multialgebras. WADT 2002: 328-342 |
| 3 | EE | Yngve Lamo, Michal Walicki: Composition and refinement of specifications and parameterised data types. Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2001 | ||
| 2 | Yngve Lamo, Michal Walicki: Modeling Partiality by Nondeterminism. ISAS-SCI (1) 2001: 447-452 | |
| 1 | EE | Yngve Lamo, Michal Walicki: Specification of Parametrized Programs - Persistency Revisited. Nord. J. Comput. 8(3): 298-323 (2001) |
| 1 | Michal Walicki | [1] [2] [3] [4] [5] [6] |