Michal Wrona

	2008
4		Witold Charatonik, Michal Wrona: Quantified Positive Temporal Constraints. CSL 2008: 94-108
3		Witold Charatonik, Michal Wrona: Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates. LPAR 2008: 543-557
	2007
2		Witold Charatonik, Michal Wrona: 2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices. ISMVL 2007: 21
	2005
1		Michal Wrona: Stratified Boolean Grammars. MFCS 2005: 801-812

Coauthor Index

1

Witold Charatonik

[2] [3] [4]