Grzegorz Herman

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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)

	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]