ACM Transactions on Computational Logic
About
The 621 papers published in ACM Transactions on Computational Logic in the last decades have received a total of 7.4k indexed citations.
Papers published in ACM Transactions on Computational Logic usually cover Artificial Intelligence (527 papers), Computational Theory and Mathematics (440 papers) and Computer Networks and Communications (104 papers) specifically the topics of Logic, Reasoning, and Knowledge (353 papers), Logic, programming, and type systems (346 papers) and Formal Methods in Verification (268 papers). The most active scholars publishing in ACM Transactions on Computational Logic are Yuri Gurevich, Vladimir Lifschitz, Thomas Eiter, Alessio Guglielmi, Georg Gottlob, Agustín Valverde, David Pearce, Andreĭ A. Bulatov, Nicola Leone and Wolfgang Faber.
In The Last Decade
Fields of papers published in ACM Transactions on Computational Logic
Since SpecializationEngineeringComputer 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 published in ACM Transactions on Computational Logic. Nodes represent fields, and links connect fields that are likely to share authors.
Countries where authors publish in ACM Transactions on Computational Logic
Since SpecializationTotal citations of papers
This map shows the geographic distribution of research published in ACM Transactions on Computational Logic. It shows the number of citations received by papers published by authors working in each country. You can also color the map by specialization and compare the number of papers published in ACM Transactions on Computational Logic with the expected number of papers based on a country's size and research output (numbers larger than one mean the country's share of papers is larger than expected).
Explore journals with similar magnitude of impact
Breakdown of academic impact, for papers in Journal of Nursing Regulation Breakdown of academic impact, for papers in Journal of the Korean Gastric Cancer Association Breakdown of academic impact, for papers in Technical Communication Quarterly Breakdown of academic impact, for papers in Swiss Political Science Review Breakdown of academic impact, for papers in British Journal of Music Education Breakdown of academic impact, for papers in Beverages Breakdown of academic impact, for papers in Journal of Bisexuality Breakdown of academic impact, for papers in Equality Diversity and Inclusion An International Journal