Proceedings - Symposium on Logic in Computer Science

proceedings - symposium on logic in computer science
ISSN: 10436871
Cobalt
Journal publications in Cobalt

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.
SJR
1.299
CiteScore
4.8
Categories
Mathematics (miscellaneous)
Software
Areas
Computer Science
Mathematics
Years of issue
1986-1987, 1990-2011, 2013, 2015-2019, 2021-2023
journal names
Proceedings - Symposium on Logic in Computer Science
All time from 2020
Publications
40
Citations
544
h-index
12
Top-3 citing journals

Most cited in 5 years

Found 0
By date By citations
from 3 chars
By date
By citations
Copy link
Publications found: 0

Top-100

Citing journals

20
40
60
80
100
120
140
160
Lecture Notes in Computer Science
Lecture Notes in Computer Science, 154, 28.31%
ACM SIGPLAN Notices
ACM SIGPLAN Notices, 33, 6.07%
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, 33, 6.07%
Electronic Proceedings in Theoretical Computer Science, EPTCS, 26, 4.78%
ACM Transactions on Computational Logic
ACM Transactions on Computational Logic, 24, 4.41%
Logical Methods in Computer Science, 15, 2.76%
Electronic Notes in Theoretical Computer Science
Electronic Notes in Theoretical Computer Science, 12, 2.21%
Journal of Functional Programming
Journal of Functional Programming, 11, 2.02%
Journal of Logic and Computation
Journal of Logic and Computation, 11, 2.02%
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science, 9, 1.65%
Journal of Automated Reasoning
Journal of Automated Reasoning, 8, 1.47%
Journal of the ACM
Journal of the ACM, 6, 1.1%
Theoretical Computer Science
Theoretical Computer Science, 6, 1.1%
Theory of Computing Systems
Theory of Computing Systems, 6, 1.1%
Studia Logica
Studia Logica, 6, 1.1%
RAIRO - Theoretical Informatics and Applications
RAIRO - Theoretical Informatics and Applications, 5, 0.92%
Algebra Universalis
Algebra Universalis, 5, 0.92%
Proceedings - Symposium on Logic in Computer Science, 4, 0.74%
ACM Transactions on Programming Languages and Systems
ACM Transactions on Programming Languages and Systems, 4, 0.74%
Journal of Symbolic Logic
Journal of Symbolic Logic, 3, 0.55%
Soft Computing
Soft Computing, 3, 0.55%
Acta Informatica
Acta Informatica, 2, 0.37%
Formal Aspects of Computing
Formal Aspects of Computing, 2, 0.37%
ACM SIGLOG News
ACM SIGLOG News, 2, 0.37%
Information and Computation
Information and Computation, 1, 0.18%
Mathematical Modelling of Natural Phenomena
Mathematical Modelling of Natural Phenomena, 1, 0.18%
Journal of Computer and System Sciences
Journal of Computer and System Sciences, 1, 0.18%
IEEE Transactions on Computers
IEEE Transactions on Computers, 1, 0.18%
Annals of Pure and Applied Logic
Annals of Pure and Applied Logic, 1, 0.18%
IEEE Embedded Systems Letters
IEEE Embedded Systems Letters, 1, 0.18%
Logic Journal of the IGPL
Logic Journal of the IGPL, 1, 0.18%
Journal of Pure and Applied Algebra
Journal of Pure and Applied Algebra, 1, 0.18%
Selecta Mathematica, New Series
Selecta Mathematica, New Series, 1, 0.18%
Outstanding Contributions to Logic
Outstanding Contributions to Logic, 1, 0.18%
Formal Methods in System Design
Formal Methods in System Design, 1, 0.18%
New Generation Computing
New Generation Computing, 1, 0.18%
Logica Universalis
Logica Universalis, 1, 0.18%
Springer Series on Cultural Computing
Springer Series on Cultural Computing, 1, 0.18%
Archive for Mathematical Logic
Archive for Mathematical Logic, 1, 0.18%
International Journal of Foundations of Computer Science
International Journal of Foundations of Computer Science, 1, 0.18%
ACM Transactions on Computation Theory
ACM Transactions on Computation Theory, 1, 0.18%
Journal of Logic, Language and Information
Journal of Logic, Language and Information, 1, 0.18%
Mathematical Logic Quarterly
Mathematical Logic Quarterly, 1, 0.18%
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 1, 0.18%
Fuzzy Sets and Systems
Fuzzy Sets and Systems, 1, 0.18%
Bulletin of Symbolic Logic
Bulletin of Symbolic Logic, 1, 0.18%
Central European Journal of Mathematics
Central European Journal of Mathematics, 1, 0.18%
Critical Infrastructure Protection II
Critical Infrastructure Protection II, 1, 0.18%
Show all (18 more)
20
40
60
80
100
120
140
160

Citing publishers

20
40
60
80
100
120
140
160
180
200
Springer Nature
Springer Nature, 195, 35.85%
Association for Computing Machinery (ACM)
Association for Computing Machinery (ACM), 139, 25.55%
electronic proceedings in theoretical computer science, eptcs, 26, 4.78%
Cambridge University Press
Cambridge University Press, 24, 4.41%
Institute of Electrical and Electronics Engineers (IEEE)
Institute of Electrical and Electronics Engineers (IEEE), 24, 4.41%
Elsevier
Elsevier, 23, 4.23%
Technischen Universitat Braunschweig, 15, 2.76%
Oxford University Press
Oxford University Press, 12, 2.21%
EDP Sciences
EDP Sciences, 6, 1.1%
proceedings - symposium on logic in computer science, 4, 0.74%
Walter de Gruyter
Walter de Gruyter, 1, 0.18%
Wiley
Wiley, 1, 0.18%
World Scientific
World Scientific, 1, 0.18%
The Royal Society
The Royal Society, 1, 0.18%
Open Publishing Association, 1, 0.18%
20
40
60
80
100
120
140
160
180
200