Stefan Berghofer

8 papers and 93 indexed citations i.

About

Stefan Berghofer has authored 8 papers that have received a total of 93 indexed citations. This includes 8 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 1 paper in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (6 papers), Logic, programming, and type systems (6 papers) and Advanced Algebra and Logic (2 papers). Stefan Berghofer is often cited by papers focused on Logic, Reasoning, and Knowledge (6 papers), Logic, programming, and type systems (6 papers) and Advanced Algebra and Logic (2 papers) and collaborates with scholars based in Germany, United Kingdom and France. Stefan Berghofer's co-authors include Christian Urban, Tobias Nipkow, James Cheney, Makarius Wenzel and Pierre Letouzey and has published in prestigious journals such as Lecture notes in computer science, Journal of Automated Reasoning and Studia Logica.

In The Last Decade

Fields of papers published by Stefan Berghofer

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

Countries citing papers authored by Stefan Berghofer

Since Specialization
Citations
Rankless by CCL
2025