| |
Neuropsychologia, Vol. 43, No. 5. (2005), pp. 744-753.
|
| |
NeuroImage, Vol. 38, No. 2. (1 November 2007), pp. 346-356.
|
| |
Annals of the New York Academy of Sciences, Vol. 1156, No. 1. (March 2009), pp. 232-259.
|
| |
PLoS ONE, Vol. 4, No. 7. (23 July 2009), e6357.
|
| |
Microprocessors and Microsystems, Vol. 31, No. 8. (03 December 2007), pp. 537-545.
|
| |
Computer Aided Verification (2006), pp. 81-94.
|
| |
C/C++ Users J., Vol. 18, No. 12. (December 2000), pp. 65-67.
|
| |
C/C++ Users J., Vol. 18, No. 7. (July 2000), pp. 73-83.
|
| |
C/C++ Users J., Vol. 14, No. 11. (November 1996), pp. 61-68.
|
| |
C Users J., Vol. 12, No. 6. (June 1994), pp. 35-44.
|
| |
Science, Vol. 324, No. 5934. (19 June 2009), pp. 1583-1585.
|
| |
|
| |
Neurobiology of Human Values (2005), pp. 143-155.
|
| |
Psychonomic Bulletin & Review, Vol. 16, No. 2. (April 2009), pp. 328-331.
|
| |
ACM Comput. Surv., Vol. 23, No. 1. (March 1991), pp. 5-48.
|
| |
PLoS Biol, Vol. 3, No. 2. (February 2005)
|
| |
PLoS ONE, Vol. 4, No. 2. (24 February 2009), e4587.
|
| |
|
| |
Brain and Cognition (10 July 2008)
|
| |
Science, Vol. 297, No. 5587. (6 September 2002), pp. 1652-1653.
|
| |
|
| |
|
| |
Archive for Mathematical Logic, Vol. 20, No. 1. (1 March 1980), pp. 27-40.
|
| |
Journal of Mathematical Sciences, Vol. 14, No. 5. (1 November 1980), pp. 1487-1492.
|
| |
Proceedings of the American Mathematical Society, Vol. 17, No. 1. (1966), pp. 146-147.
|
| |
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 33, No. 3. (1987), pp. 245-253.
|
| |
Russian Mathematical Surveys, Vol. 63, No. 2. (2008), pp. 205-220.
|
| |
IEEE Transactions on Image Processing In Image Processing, IEEE Transactions on, Vol. 14, No. 2. (February 2005), pp. 253-266.
|
| |
Educational Studies in Mathematics
|
| |
The Journal of Mathematical Behavior, Vol. In Press, Corrected Proof
|
| |
Proceedings of the National Academy of Sciences, Vol. 105, No. 35. (2008), pp. 13179-13184.
|
| |
J Child Neurol, Vol. 19, No. 10. (1 October 2004), pp. 765-771.
|
| |
Journal of Philosophical Logic, Vol. 37, No. 2. (26 April 2008), pp. 183-202.
|
| |
Archive for Mathematical Logic, Vol. 46, No. 3. (23 April 2007), pp. 281-287.
|
| |
International Journal of Behavioral Development, Vol. 28, No. 4. (July 2004), pp. 347-357.
|
| |
IEEE Transactions on Multimedia In Multimedia, IEEE Transactions on, Vol. 10, No. 3. (April 2008), pp. 330-338.
|
| |
Learning and Instruction, Vol. 4, No. 4. (1994), pp. 273-294.
|
| |
International Journal of Behavioral Development, Vol. 21, No. 2. (1 August 1997), pp. 253-275.
|
| |
Cognition, Vol. 68, No. 2. (August 1998), pp. B63-B70.
|
| |
Memory & Cognition, Vol. 34, No. 1. (January 2006), pp. 207-216.
|
| |
Memory & cognition, Vol. 26, No. 2. (March 1998), pp. 355-368.
|
| |
Document Analysis and Recognition, 2003. Proceedings. Seventh International Conference on In Document Analysis and Recognition, 2003. Proceedings. Seventh International Conference on (2003), pp. 66-70 vol.1.
|
| |
The Journal of Mathematical Behavior, Vol. In Press, Corrected Proof
|
| |
Behavioral and Brain Functions, Vol. 3 (10 January 2007), 1.
|
| |
Scandinavian Journal of Educational Research, Vol. 49, No. 1. (February 2005), 3.
|
| |
Scandinavian Journal of Psychology, Vol. 46, No. 2. (April 2005), pp. 157-167.
|
| |
Mathematical Notes, Vol. 40, No. 5. (1 November 1986), pp. 821-827.
|
| |
In Arithmetic, proof theory, and computational complexity (Prague, 1991), Vol. 23 (1993), pp. 320-363.
|
| |
In Intuitionism and Proof Theory (Proc. Conf., Buffalo, N.Y., 1968) (1970), pp. 459-473.
|
| |
J. Symbolic Logic, Vol. 37 (1972), pp. 466-482.
|