22 citations · 96 across the 27 of their papers we have counts for
1 paper · 1 filter
Kirstin Peters, Uwe Nestmann
This technical report contains the proofs to the lemmata and theorems of [PN12] as well as some additional material. As main contributions [PN12] presents an encoding of mixed choi…