Marcin Bialasik

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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

Coauthor Index

1 Beata Konikowska [2]

2 Michal Walicki [1]

Colors in the list of coauthors