Marcin Bialasik

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Coauthor Index

1 Beata Konikowska [2]

2 Michal Walicki [1]

Colors in the list of coauthors