Login / Signup

Extending Symmetry Reduction Techniques to a Realistic Model of Computation.

Alastair F. DonaldsonAlice Miller
Published in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases