Jakub Michaliszyn

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Jakub Michaliszyn: Decidability of the Guarded Fragment with the Transitive Closure. ICALP (2) 2009: 261-272

1 Jerzy Marcinkowski, Jakub Michaliszyn: The cost of being co-Buchi is nonlinear CoRR abs/0906.0072: (2009)

	2009
2		Jakub Michaliszyn: Decidability of the Guarded Fragment with the Transitive Closure. ICALP (2) 2009: 261-272
1		Jerzy Marcinkowski, Jakub Michaliszyn: The cost of being co-Buchi is nonlinear CoRR abs/0906.0072: (2009)

Coauthor Index

1 Jerzy Marcinkowski [1]