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: 4
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations
Journal of Logic and Computation 2024-04-07
Altmetric Attention Score: 3
Gold Open Access Big Ramsey Degrees in Ultraproducts of Finite Structures
Annals of Pure and Applied Logic 2024-03-23
Altmetric Attention Score: 2
Gold Open Access Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices
Logic Journal of the Igpl 2024-03-25
Altmetric Attention Score: 2
Gold Open Access A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models
Logic Journal of the Igpl 2024-03-25
Altmetric Attention Score: 1
Gold Open Access Data dimensionality reduction for an optimal switching mode classification applied to a step-down power converter
Logic Journal of the Igpl 2024-04-08
» See top-10
Journals
Sort by:
Rank Journal TQCC
1 Theory and Practice of Logic Programming 4
2 Journal of Logic and Computation 2
- Journal of Mathematical Logic 2
- Logica Universalis 2
- Review of Symbolic Logic 2
(Based on 4-year data; last update: 2024-04-01)
» See full journal ranking
Search Journals

Statistics
New papers in 'Logic' in the past 7 days:
Active Journals
(Past 7 days)
Latest Articles
18
Apr
2024
THE DEFINABILITY OF THE EXTENDER SEQUENCE FROM IN
Journal of Symbolic Logic
18
Apr
2024
Counting in Uncountably Categorical Pseudofinite Structures
Journal of Symbolic Logic
18
Apr
2024
Discontinuous Homomorphisms of with
Journal of Symbolic Logic
17
Apr
2024
First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
ACM Transactions on Computational Logic
17
Apr
2024
Stackelberg-Pareto Synthesis
ACM Transactions on Computational Logic
» See more recent papers
Ad
0.5282940864563