Marcin Bialasik

Publication Activity (10 Years)

Years Active: 1997-1999
Publications (10 Years): 0

Publications

Beata Konikowska, Marcin Bialasik
Reasoning with First Order Nondeterministic Specifications. Acta Informatica 36 (5) (1999)
Michal Walicki, Marcin Bialasik
Categories of relational structures. WADT (1997)