Michal Wrona Vis

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

Coauthor Index

1

Witold Charatonik

[2] [3] [4]