John V. Tucker
About
John V. Tucker has authored 105 papers that have received a total of 1.1k indexed citations.
This includes 79 papers in Computational Theory and Mathematics, 55 papers in Artificial Intelligence and 9 papers in Mathematical Physics. The topics of these papers are Computability, Logic, AI Algorithms (54 papers), Logic, programming, and type systems (35 papers) and Logic, Reasoning, and Knowledge (21 papers). John V. Tucker is often cited by papers focused on Computability, Logic, AI Algorithms (54 papers), Logic, programming, and type systems (35 papers) and Logic, Reasoning, and Knowledge (21 papers) and collaborates with scholars based in United Kingdom, The Netherlands and Portugal. John V. Tucker's co-authors include J.A. Bergstra, Edwin Beggs, José Félix Costa, V. Stoltenberg-Hansen and Arun V. Holden and has published in prestigious journals such as Journal of the ACM, Physica D Nonlinear Phenomena and Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by M. Evans are published in Top journals papers by Dario Bauso are published in Top journals papers by Richard Dahlbom are published in Top journals papers by Masatoshi Fujii are published in Top fields papers by Xiaoyu Hou are about Top fields papers by М. И. Бакунов are about Top journals papers by Tiantian Chen are published in Top journals papers by Noriyuki Watanabe are published in