Marek Zaionc (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

Selection of 3 from 21 records - Marek Zaionc has 13 coauthors

21		René David, Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, Jakub Kozik, Marek Zaionc: Some properties of random lambda terms CoRR abs/0903.5505: (2009)
20		René David, Marek Zaionc: Counting proofs in propositional logic CoRR abs/0905.2880: (2009)
15		Pierre Lescanne, René David, Marek Zaionc: Preface. Electr. Notes Theor. Comput. Sci. 140: 1 (2005)