![](/img/cover-not-exists.png)
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
Alastair F. Donaldson, Alice MillerVolume:
185
Year:
2007
Language:
english
Pages:
14
DOI:
10.1016/j.entcs.2007.05.029
File:
PDF, 329 KB
english, 2007