Cited By
View all- Knobelsdorf MFrede CBöhne SKreitz CTenenberg JChinn DSheard JMalmi LTenenberg JMalmi L(2017)Theorem Provers as a Learning Tool in Theory of ComputationProceedings of the 2017 ACM Conference on International Computing Education Research10.1145/3105726.3106184(83-92)Online publication date: 14-Aug-2017
- Frede CTenenberg JChinn DSheard JMalmi LTenenberg JMalmi L(2017)Using Mediational Means during Learning and Understanding of Proof Assignments from Theory of ComputationProceedings of the 2017 ACM Conference on International Computing Education Research10.1145/3105726.3105734(277-278)Online publication date: 14-Aug-2017
- Knobelsdorf MFrede CSheard JTenenberg JChinn DDorn B(2016)Analyzing Student Practices in Theory of Computation in Light of Distributed Cognition TheoryProceedings of the 2016 ACM Conference on International Computing Education Research10.1145/2960310.2960331(73-81)Online publication date: 25-Aug-2016
- Show More Cited By