Pavel Hrubeš

Recent 5
- Paper in proceedings
- Hrubeš Pavel, Rao Anup
- Circuits with medium fan-in
- in Proceedings of the 30th Conference on Computational Complexity (CCC 2015), Portland, USA, 17.6.2015 - 19.6.2015, editor(s): David Zuckerman, 30th Conference on Computational Complexity (CCC 2015), Schloss Dagstuhl, Leibniz-Zentrum für Informatik, Dagstuhl, 2015, 381-391.
Associated with grants:
FEALORA(339691)
- Article
- Hrubeš Pavel, Tzameret Iddo
- Short proofs for the determinant identities
- SIAM Journal on Computing 44 (2), 2015, 340-383.
Associated with grants:
FEALORA(339691)
- Article
- Cockett J.R.B., Hofstra P. J. W., Hrubeš Pavel
- Total maps of Turing categories
- Electronic Notes in Theoretical Computer Science 308, 2014, 129-146.
Associated with grants:

	Select
Year:		Type