Proceedings - Symposium on Logic in Computer Science

proceedings - symposium on logic in computer science

ISSN: 10436871

Journal publications in Cobalt

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.

SJR

0.970

CiteScore

3.8

Most cited in 5 years

Found

Publication title

Found

Top-100

Citing journals

	20 40 60 80 100 120 140 160
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 157, 27.99% Lecture Notes in Computer Science 157 citations, 27.99%
Proceedings of the ACM on Programming Languages	Proceedings of the ACM on Programming Languages, 36, 6.42% Proceedings of the ACM on Programming Languages 36 citations, 6.42%
ACM SIGPLAN Notices	ACM SIGPLAN Notices, 33, 5.88% ACM SIGPLAN Notices 33 citations, 5.88%
Electronic Proceedings in Theoretical Computer Science, EPTCS	Electronic Proceedings in Theoretical Computer Science, EPTCS, 28, 4.99% Electronic Proceedings in Theoretical Computer Science, EPTCS 28 citations, 4.99%
ACM Transactions on Computational Logic	ACM Transactions on Computational Logic, 24, 4.28% ACM Transactions on Computational Logic 24 citations, 4.28%
Logical Methods in Computer Science	Logical Methods in Computer Science, 15, 2.67% Logical Methods in Computer Science 15 citations, 2.67%
Electronic Notes in Theoretical Computer Science	Electronic Notes in Theoretical Computer Science, 12, 2.14% Electronic Notes in Theoretical Computer Science 12 citations, 2.14%
Journal of Logic and Computation	Journal of Logic and Computation, 12, 2.14% Journal of Logic and Computation 12 citations, 2.14%
Journal of Functional Programming	Journal of Functional Programming, 11, 1.96% Journal of Functional Programming 11 citations, 1.96%
Journal of Automated Reasoning	Journal of Automated Reasoning, 9, 1.6% Journal of Automated Reasoning 9 citations, 1.6%
Mathematical Structures in Computer Science	Mathematical Structures in Computer Science, 9, 1.6% Mathematical Structures in Computer Science 9 citations, 1.6%
Journal of the ACM	Journal of the ACM, 7, 1.25% Journal of the ACM 7 citations, 1.25%
Theoretical Computer Science	Theoretical Computer Science, 6, 1.07% Theoretical Computer Science 6 citations, 1.07%
Theory of Computing Systems	Theory of Computing Systems, 6, 1.07% Theory of Computing Systems 6 citations, 1.07%
Studia Logica	Studia Logica, 6, 1.07% Studia Logica 6 citations, 1.07%
RAIRO - Theoretical Informatics and Applications	RAIRO - Theoretical Informatics and Applications, 5, 0.89% RAIRO - Theoretical Informatics and Applications 5 citations, 0.89%
Algebra Universalis	Algebra Universalis, 5, 0.89% Algebra Universalis 5 citations, 0.89%
Proceedings - Symposium on Logic in Computer Science	Proceedings - Symposium on Logic in Computer Science, 4, 0.71% Proceedings - Symposium on Logic in Computer Science 4 citations, 0.71%
ACM Transactions on Programming Languages and Systems	ACM Transactions on Programming Languages and Systems, 4, 0.71% ACM Transactions on Programming Languages and Systems 4 citations, 0.71%
Journal of Symbolic Logic	Journal of Symbolic Logic, 3, 0.53% Journal of Symbolic Logic 3 citations, 0.53%
Soft Computing	Soft Computing, 3, 0.53% Soft Computing 3 citations, 0.53%
Acta Informatica	Acta Informatica, 2, 0.36% Acta Informatica 2 citations, 0.36%
Archive for Mathematical Logic	Archive for Mathematical Logic, 2, 0.36% Archive for Mathematical Logic 2 citations, 0.36%
Formal Aspects of Computing	Formal Aspects of Computing, 2, 0.36% Formal Aspects of Computing 2 citations, 0.36%
Journal of Logic, Language and Information	Journal of Logic, Language and Information, 2, 0.36% Journal of Logic, Language and Information 2 citations, 0.36%
ACM SIGLOG News	ACM SIGLOG News, 2, 0.36% ACM SIGLOG News 2 citations, 0.36%
Information and Computation	Information and Computation, 1, 0.18% Information and Computation 1 citation, 0.18%
Mathematical Modelling of Natural Phenomena	Mathematical Modelling of Natural Phenomena, 1, 0.18% Mathematical Modelling of Natural Phenomena 1 citation, 0.18%
Journal of Computer and System Sciences	Journal of Computer and System Sciences, 1, 0.18% Journal of Computer and System Sciences 1 citation, 0.18%
IEEE Transactions on Computers	IEEE Transactions on Computers, 1, 0.18% IEEE Transactions on Computers 1 citation, 0.18%
Annals of Pure and Applied Logic	Annals of Pure and Applied Logic, 1, 0.18% Annals of Pure and Applied Logic 1 citation, 0.18%
IEEE Embedded Systems Letters	IEEE Embedded Systems Letters, 1, 0.18% IEEE Embedded Systems Letters 1 citation, 0.18%
Bulletin of the Section of Logic	Bulletin of the Section of Logic, 1, 0.18% Bulletin of the Section of Logic 1 citation, 0.18%
Logic Journal of the IGPL	Logic Journal of the IGPL, 1, 0.18% Logic Journal of the IGPL 1 citation, 0.18%
Journal of Pure and Applied Algebra	Journal of Pure and Applied Algebra, 1, 0.18% Journal of Pure and Applied Algebra 1 citation, 0.18%
Selecta Mathematica, New Series	Selecta Mathematica, New Series, 1, 0.18% Selecta Mathematica, New Series 1 citation, 0.18%
Outstanding Contributions to Logic	Outstanding Contributions to Logic, 1, 0.18% Outstanding Contributions to Logic 1 citation, 0.18%
Formal Methods in System Design	Formal Methods in System Design, 1, 0.18% Formal Methods in System Design 1 citation, 0.18%
New Generation Computing	New Generation Computing, 1, 0.18% New Generation Computing 1 citation, 0.18%
Logica Universalis	Logica Universalis, 1, 0.18% Logica Universalis 1 citation, 0.18%
Springer Series on Cultural Computing	Springer Series on Cultural Computing, 1, 0.18% Springer Series on Cultural Computing 1 citation, 0.18%
International Journal of Foundations of Computer Science	International Journal of Foundations of Computer Science, 1, 0.18% International Journal of Foundations of Computer Science 1 citation, 0.18%
ACM Transactions on Computation Theory	ACM Transactions on Computation Theory, 1, 0.18% ACM Transactions on Computation Theory 1 citation, 0.18%
Mathematical Logic Quarterly	Mathematical Logic Quarterly, 1, 0.18% Mathematical Logic Quarterly 1 citation, 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% Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 1 citation, 0.18%
Fuzzy Sets and Systems	Fuzzy Sets and Systems, 1, 0.18% Fuzzy Sets and Systems 1 citation, 0.18%
Bulletin of Symbolic Logic	Bulletin of Symbolic Logic, 1, 0.18% Bulletin of Symbolic Logic 1 citation, 0.18%
IEEE Access	IEEE Access, 1, 0.18% IEEE Access 1 citation, 0.18%
Central European Journal of Mathematics	Central European Journal of Mathematics, 1, 0.18% Central European Journal of Mathematics 1 citation, 0.18%
Around the Tree	Around the Tree, 1, 0.18% Around the Tree 1 citation, 0.18%
Critical Infrastructure Protection II	Critical Infrastructure Protection II, 1, 0.18% Critical Infrastructure Protection II 1 citation, 0.18%

	20 40 60 80 100 120 140 160

Citing publishers

	50 100 150 200 250
Springer Nature	Springer Nature, 202, 36.01% Springer Nature 202 citations, 36.01%
Association for Computing Machinery (ACM)	Association for Computing Machinery (ACM), 166, 29.59% Association for Computing Machinery (ACM) 166 citations, 29.59%
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 32, 5.7% Institute of Electrical and Electronics Engineers (IEEE) 32 citations, 5.7%
electronic proceedings in theoretical computer science, eptcs	electronic proceedings in theoretical computer science, eptcs, 26, 4.63% electronic proceedings in theoretical computer science, eptcs 26 citations, 4.63%
Cambridge University Press	Cambridge University Press, 24, 4.28% Cambridge University Press 24 citations, 4.28%
Elsevier	Elsevier, 23, 4.1% Elsevier 23 citations, 4.1%
Technischen Universitat Braunschweig	Technischen Universitat Braunschweig, 15, 2.67% Technischen Universitat Braunschweig 15 citations, 2.67%
Oxford University Press	Oxford University Press, 13, 2.32% Oxford University Press 13 citations, 2.32%
EDP Sciences	EDP Sciences, 6, 1.07% EDP Sciences 6 citations, 1.07%
proceedings - symposium on logic in computer science	proceedings - symposium on logic in computer science, 4, 0.71% proceedings - symposium on logic in computer science 4 citations, 0.71%
Open Publishing Association	Open Publishing Association, 3, 0.53% Open Publishing Association 3 citations, 0.53%
Walter de Gruyter	Walter de Gruyter, 1, 0.18% Walter de Gruyter 1 citation, 0.18%
Wiley	Wiley, 1, 0.18% Wiley 1 citation, 0.18%
World Scientific	World Scientific, 1, 0.18% World Scientific 1 citation, 0.18%
The Royal Society	The Royal Society, 1, 0.18% The Royal Society 1 citation, 0.18%
Uniwersytet Lodzki (University of Lodz)	Uniwersytet Lodzki (University of Lodz), 1, 0.18% Uniwersytet Lodzki (University of Lodz) 1 citation, 0.18%
	50 100 150 200 250