![]() | ![]() |
| 1999 | ||
|---|---|---|
| 2 | Beata Konikowska, Marcin Bialasik: Reasoning with First Order Nondeterministic Specifications. Acta Inf. 36(5): 375-403 (1999) | |
| 1997 | ||
| 1 | Michal Walicki, Marcin Bialasik: Categories of relational structures. WADT 1997: 418-434 | |
| 1 | Beata Konikowska | [2] |
| 2 | Michal Walicki | [1] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page