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 fields papers by Kotaro Imamura are about Top countries impacted by papers by Dawid L. Staudacher Top fields papers by Almir Del Prette are about Top countries impacted by papers by Shimon Cohen Top fields papers by М. И. Бакунов are about Top journals papers by Jaime Barrientos are published in Top fields papers by A. Tawfik are about Top fields papers by Asyraf Afthanorhan are about