G. Kreisel

About

G. Kreisel is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Theoretical Computer Science. According to data from OpenAlex, G. Kreisel has authored 61 papers receiving a total of 1.2k indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 11 papers in Theoretical Computer Science. Recurrent topics in G. Kreisel’s work include Logic, programming, and type systems (12 papers), Logic, Reasoning, and Knowledge (12 papers) and History and Theory of Mathematics (11 papers). G. Kreisel is often cited by papers focused on Logic, programming, and type systems (12 papers), Logic, Reasoning, and Knowledge (12 papers) and History and Theory of Mathematics (11 papers). G. Kreisel collaborates with scholars based in United States, United Kingdom and France. G. Kreisel's co-authors include Amit Levy, A. S. Troelstra, Hao Wang, William A. Howard, H. Putnam, Gerald E. Sacks, Solomon Feferman, J. R. Shoenfield, Jean-Louis Krivine and W. W. Tait and has published in prestigious journals such as The Philosophical Review, The Journal of Philosophy and Bulletin of the London Mathematical Society.

In The Last Decade

Co-authorship network of co-authors of G. Kreisel i

Layout:

Gravity: 0.05 Iterations: 100 Initial Temp: 1000 Cooling: 0.99 Min Temp: 1

Fields of papers citing papers by G. Kreisel

Since Specialization

EngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics

This network shows the specialization of papers citing the papers produced by G. Kreisel. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where G. Kreisel may publish in the future.

Countries citing papers authored by G. Kreisel

Since Specialization

Citations

This map shows the geographic impact of G. Kreisel's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by G. Kreisel with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites G. Kreisel more than expected).

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Jun Shao Breakdown of academic impact, for papers by Tianyi Qin Breakdown of academic impact, for papers by Antonino Casabona Breakdown of academic impact, for papers by A. Ghanadzadeh Gilani Breakdown of academic impact, for papers by David E. Thompson Breakdown of academic impact, for papers by Jinxiang Zeng Breakdown of academic impact, for papers by G Cordier Breakdown of academic impact, for papers by Peter Werkhoven