Marcus, M., Westers, F., & Nijsten, A. (2025). Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits.
Cita Chicago Style (17a ed.)Marcus, Michiel, Frank Westers, y Anne Nijsten. Modelling Arbitrary Computations in the Symbolic Model Using an Equational Theory for Bounded Binary Circuits. 2025.
Cita MLA (9a ed.)Marcus, Michiel, et al. Modelling Arbitrary Computations in the Symbolic Model Using an Equational Theory for Bounded Binary Circuits. 2025.
Precaución: Estas citas no son 100% exactas.