![]() | ![]() |
1999 | ||
---|---|---|
2 | EE | 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] |