The multiway rendezvous A Charlesworth ACM Transactions on Programming Languages and Systems (TOPLAS) 9 (3), 350-366, 1987 | 85 | 1987 |
Categories of large numbers in line estimation D Landy, A Charlesworth, E Ottmar Cognitive science 41 (2), 326-353, 2017 | 46 | 2017 |
On the cardinality of a topological space A Charlesworth Proceedings of the American Mathematical Society 66 (1), 138-142, 1977 | 27 | 1977 |
The comprehensibility theorem and the foundations of artificial intelligence A Charlesworth Minds and Machines 24 (4), 439-476, 2014 | 24 | 2014 |
Cutting In Line: Discontinuities in the Use of Large Numbers by Adults. D Landy, A Charlesworth, E Ottmar CogSci, 2014 | 18 | 2014 |
Comprehending software correctness implies comprehending an intelligence-related limitation A Charlesworth ACM Transactions on Computational Logic (TOCL) 7 (3), 590-612, 2006 | 13 | 2006 |
The undecidability of associativity and commutativity analysis A Charlesworth ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (5), 554-565, 2002 | 11 | 2002 |
On a theorem of Jones and Heath concerning separable normal spaces AT Charlesworth, RE Hodel, FD Tall Colloquium Mathematicae 1 (34), 33-37, 1975 | 11 | 1975 |
A Proof of Godel's Theorem in Terms of Computer Programs A Charlesworth Mathematics Magazine 54 (3), 109-121, 1981 | 10 | 1981 |
A note on Urysohn's metrization theorem A Charlesworth The American Mathematical Monthly 83 (9), 718-720, 1976 | 8 | 1976 |
A Theorem about Computationalism and “Absolute” Truth A Charlesworth Minds and Machines 26 (3), 205-226, 2016 | 5 | 2016 |
Infinite cardinal functions which are minimal on metrizable spaces... AT Charlesworth Duke University, 1974 | 3 | 1974 |
Infinite loops in computer programs A Charlesworth Mathematics: people, problems, results 3, 15-23, 1984 | 2* | 1984 |
Infinite Loops in Computer Programs A Charlesworth Mathematics Magazine 52 (5), 284-291, 1979 | 2 | 1979 |
Neural Networking A Charlesworth AMERICAN SCIENTIST 102 (5), 323-324, 2014 | 1 | 2014 |
Communication and synchronization using compacts AT Charlesworth University of Virginia, 1983 | 1 | 1983 |
The Adam language: Ada extended with support for multiway activities(Final Report) A CHARLESWORTH | | 1993 |
News and Letters PJ Malraison Jr, SR Conrad, A Charlesworth, ETH Wang Mathematics Magazine, 221-223, 1977 | | 1977 |
Polynomials and Infinite Subfields A Charlesworth The American Mathematical Monthly 84 (7), 548-550, 1977 | | 1977 |
Number Comprehension Impacts Political Judgments B Guay, Z Davis, M DeLaunay, A Charlesworth, D Landy | | |