Marcus, M., Westers, F., & Nijsten, A. (2025). Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits.
Chicago-Zitierstil (17. Ausg.)Marcus, Michiel, Frank Westers, und Anne Nijsten. Modelling Arbitrary Computations in the Symbolic Model Using an Equational Theory for Bounded Binary Circuits. 2025.
MLA-Zitierstil (9. Ausg.)Marcus, Michiel, et al. Modelling Arbitrary Computations in the Symbolic Model Using an Equational Theory for Bounded Binary Circuits. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.