Field of Research: Computer Science » Category: Logic
Agricultural Sciences
Arts & Humanities
Biology & Biochemistry
Chemistry
Clinical Medicine
Computer Science
Economics & Business
Engineering
Environment and Ecology
Geosciences
History & Archaeology
Literature & Language
Materials Science
Mathematics
Multidisciplinary
Philosophy & Religion
Physics
Plant & Animal Science
Psychiatry and Psychology
Social Sciences
Visual & Performing Arts
Automation & Control Systems
Computer Science, Artificial Intelligence
Computer Science, Cybernetics
Computer Science, Hardware & Architecture
Computer Science, Information Systems
Computer Science, Interdisciplinary Applications
Computer Science, Software Engineering
Computer Science, Theory & Methods
Information Science & Library Science
Logic
Mathematical & Computational Biology
Medical Informatics
Radiology, Nuclear Medicine & Medical Imaging
Robotics

Logic

Trending Papers
(Powered by Altmetrics)
7 days 14 days 30 days
Altmetric Attention Score: 3
Gold Open Access Optimizing wastewater treatment plants with advanced feature selection and sensor technologies
Logic Journal of the Igpl 2024-09-10
Altmetric Attention Score: 1
Artin-Schreier extensions and combinatorial complexity in henselian valued fields
Journal of Symbolic Logic 2024-09-08
Altmetric Attention Score: 1
Gold Open Access Maude2Lean: Theorem proving for Maude specifications using Lean
Journal of Logical and Algebraic Methods in Programming 2024-09-07
Altmetric Attention Score: 1
Gold Open Access Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics
History and Philosophy of Logic 2024-09-13
» See top-10
Journals
Sort by:
Rank Journal TQCC
1 Theory and Practice of Logic Programming 4
2 ACM Transactions on Computational Logic 2
- Annals of Pure and Applied Logic 2
- Journal of Logical and Algebraic Methods in Programming 2
- Journal of Logic Language and Information 2
(Based on 4-year data; last update: 2024-09-01)
» See full journal ranking
Search Journals

Statistics
New papers in 'Logic' in the past 7 days:
Active Journals
(Past 7 days)
Latest Articles
15
Sep
2024
ANSELM’S ONTOLOGICAL ARGUMENT AND GRADES OF BEING
Review of Symbolic Logic
15
Sep
2024
Effectiveness of Walker's cancellation theorem Gold Open Access
Mathematical Logic Quarterly
15
Sep
2024
Editorial correction for L. Halbeisen, R. Plati, and Saharon Shelah, “Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$”, https://doi.org/1
Mathematical Logic Quarterly
15
Sep
2024
Good points for scales (and more)
Mathematical Logic Quarterly
14
Sep
2024
Using Multi-Objective Optimization to build non-Random Forest
Logic Journal of the Igpl
» See more recent papers
Ad
0.076893091201782