Published July 25, 2025
| Version v2
Software
Open
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits Paper Scripts
Authors/Creators
-
1.
Netherlands Organisation for Applied Scientific Research
Description
These are the scripts required to reproduce the results of the paper "Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits" by Michiel Marcus, Frank Westers and Anne Nijsten.
Files
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits Scripts.zip
Files
(17.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f0181e38fe3ef3c0b56c359e155a0c3d
|
17.5 MB | Preview Download |