Author:
Anderson Michael,Cheng Peter,Haarslev Volker
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Shufflecake: Plausible Deniability for Multiple Hidden Filesystems on Linux;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
2. The Mystery of Deduction and Diagrammatic Aspects of Representation;Review of Philosophy and Psychology;2015-01-20
3. Thinking through drawing;The Knowledge Engineering Review;2013-07-30
4. Spatial Representations and Imagery in Learning;The Cambridge Handbook of the Learning Sciences;2005-04-24
5. On the conditions necessary for removing abstraction penalties in OOLALA;Concurrency and Computation: Practice and Experience;2005-02-23