Grzegorz Herman

	2012
4		Grzegorz Herman, Michael Soltys: Unambiguous Functions in Logarithmic Space. Fundam. Inform. 114(2): 129-147 (2012)
	2009
3		Grzegorz Herman, Michael Soltys: On the Ehrenfeucht-Mycielski sequence. J. Discrete Algorithms 7(4): 500-508 (2009)
	2008
2		Grzegorz Herman, Michael Soltys: A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem CoRR abs/0811.3959: (2008)
	2007
1		Grzegorz Herman, Tim Paterson, Michael Soltys: A Propositional Proof System with Quantification Over Permutations. Fundam. Inform. 79(1-2): 71-83 (2007)

Coauthor Index

1	Tim Paterson	[1]
2	Michael Soltys	[1] [2] [3] [4]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page