New: Think Tank Rankings 2025
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

Latest Papers
(Limited to the last 10 days and a maximum of 250 papers)
31
Jul
2025
On maximal order type of the lexicographic product Gold Open Access
Logic Journal of the Igpl
29
Jul
2025
Finitely Bounded Homogeneity Turned Inside-Out
Journal of Mathematical Logic
28
Jul
2025
Craig Interpolation for a Semi-Substructural Logic
Studia Logica
26
Jul
2025
Logic and the Social World
Logica Universalis
26
Jul
2025
Crazy Dice, Chance, and Counting Causes Gold Open Access
Logica Universalis
26
Jul
2025
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games
ACM Transactions on Computational Logic
26
Jul
2025
Regular Representations of Uniform TC 0
ACM Transactions on Computational Logic
26
Jul
2025
A Semantics for Modal Language Using a Rough Set Model Based on Subset Approximation Structure
ACM Transactions on Computational Logic
26
Jul
2025
Checkification: A Practical Approach for Testing Static Analysis Truths Gold Open Access
Theory and Practice of Logic Programming
22
Jul
2025
A TWO-SORTED THEORY OF NILPOTENT LIE ALGEBRAS
Journal of Symbolic Logic
22
Jul
2025
Using Fixed Memory Blocks in GPUs to Accelerate SpMV Multiplication in Probabilistic Model Checkers
Journal of Logical and Algebraic Methods in Programming
0.20911979675293