19 citations · 70 across the 21 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…