Jakub Kozik

	2009
4		Antoine Genitrini, Jakub Kozik: Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System. LFCS 2009: 280-294
3		René David, Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, Jakub Kozik, Marek Zaionc: Some properties of random lambda terms CoRR abs/0903.5505: (2009)
	2007
2		Antoine Genitrini, Jakub Kozik, Marek Zaionc: Intuitionistic vs. Classical Tautologies, Quantitative Comparison. TYPES 2007: 100-109
	2005
1		Jakub Kozik: Conditional Densities of Regular Languages. Electr. Notes Theor. Comput. Sci. 140: 67-79 (2005)

Coauthor Index

1	René David	[3]
2	Antoine Genitrini	[2] [4]
3	Katarzyna Grygiel	[3]
4	Christophe Raffalli	[3]
5	Guillaume Theyssier	[3]
6	Marek Zaionc	[2] [3]