A Change for the Better? Assessing the Computational Cost of Re-representation.
Todd Wareham, Robert Robere and Iris van Rooij.
International Conference on Cognitive Modeling [ICCM 2012].
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Todd Wareham, Robert Robere and Iris van Rooij.
International Conference on Cognitive Modeling [ICCM 2012].