Proceedings - Symposium on Logic in Computer Science

proceedings - symposium on logic in computer science

ISSN: 10436871

Публикации журнала в Cobalt

Вы ученый?

Создайте профиль, чтобы получать персональные рекомендации коллег, конференций и новых статей.

Войти с ORCID

SJR

0.721

CiteScore

2.9

Предметные категории

Mathematics (miscellaneous)

Software

Предметные области

Computer Science

Mathematics

Годы выпуска

1986-1987, 1990-2011, 2013, 2015-2019, 2021-2023

Варианты названий

Proceedings - Symposium on Logic in Computer Science

за всё время с 2021

Публикаций

Цитирований

571

Индекс Хирша

Публикаций

Цитирований

106

Топ-3 цитирующих журналов

Lecture Notes in Computer Science (157 цитирований)

Proceedings of the ACM on Programming Languages (36 цитирований)

ACM SIGPLAN Notices (33 цитирования)

Наиболее цитируемые за 5 лет

Название публикации

Топ-100

Цитирующие журналы

	20 40 60 80 100 120 140 160
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 157, 27.5% Lecture Notes in Computer Science 157 цитирований, 27.5%
Proceedings of the ACM on Programming Languages	Proceedings of the ACM on Programming Languages, 36, 6.3% Proceedings of the ACM on Programming Languages 36 цитирований, 6.3%
ACM SIGPLAN Notices	ACM SIGPLAN Notices, 33, 5.78% ACM SIGPLAN Notices 33 цитирования, 5.78%
Electronic Proceedings in Theoretical Computer Science, EPTCS	Electronic Proceedings in Theoretical Computer Science, EPTCS, 28, 4.9% Electronic Proceedings in Theoretical Computer Science, EPTCS 28 цитирований, 4.9%
ACM Transactions on Computational Logic	ACM Transactions on Computational Logic, 24, 4.2% ACM Transactions on Computational Logic 24 цитирования, 4.2%
Logical Methods in Computer Science	Logical Methods in Computer Science, 15, 2.63% Logical Methods in Computer Science 15 цитирований, 2.63%
Journal of Functional Programming	Journal of Functional Programming, 12, 2.1% Journal of Functional Programming 12 цитирований, 2.1%
Electronic Notes in Theoretical Computer Science	Electronic Notes in Theoretical Computer Science, 12, 2.1% Electronic Notes in Theoretical Computer Science 12 цитирований, 2.1%
Journal of Logic and Computation	Journal of Logic and Computation, 12, 2.1% Journal of Logic and Computation 12 цитирований, 2.1%
Journal of Automated Reasoning	Journal of Automated Reasoning, 9, 1.58% Journal of Automated Reasoning 9 цитирований, 1.58%
Mathematical Structures in Computer Science	Mathematical Structures in Computer Science, 9, 1.58% Mathematical Structures in Computer Science 9 цитирований, 1.58%
Theory of Computing Systems	Theory of Computing Systems, 8, 1.4% Theory of Computing Systems 8 цитирований, 1.4%
Journal of the ACM	Journal of the ACM, 7, 1.23% Journal of the ACM 7 цитирований, 1.23%
Theoretical Computer Science	Theoretical Computer Science, 7, 1.23% Theoretical Computer Science 7 цитирований, 1.23%
RAIRO - Theoretical Informatics and Applications	RAIRO - Theoretical Informatics and Applications, 6, 1.05% RAIRO - Theoretical Informatics and Applications 6 цитирований, 1.05%
Studia Logica	Studia Logica, 6, 1.05% Studia Logica 6 цитирований, 1.05%
Algebra Universalis	Algebra Universalis, 5, 0.88% Algebra Universalis 5 цитирований, 0.88%
Proceedings - Symposium on Logic in Computer Science	Proceedings - Symposium on Logic in Computer Science, 4, 0.7% Proceedings - Symposium on Logic in Computer Science 4 цитирования, 0.7%
ACM Transactions on Programming Languages and Systems	ACM Transactions on Programming Languages and Systems, 4, 0.7% ACM Transactions on Programming Languages and Systems 4 цитирования, 0.7%
Journal of Symbolic Logic	Journal of Symbolic Logic, 3, 0.53% Journal of Symbolic Logic 3 цитирования, 0.53%
Soft Computing	Soft Computing, 3, 0.53% Soft Computing 3 цитирования, 0.53%
Information and Computation	Information and Computation, 2, 0.35% Information and Computation 2 цитирования, 0.35%
Acta Informatica	Acta Informatica, 2, 0.35% Acta Informatica 2 цитирования, 0.35%
Logic Journal of the IGPL	Logic Journal of the IGPL, 2, 0.35% Logic Journal of the IGPL 2 цитирования, 0.35%
Archive for Mathematical Logic	Archive for Mathematical Logic, 2, 0.35% Archive for Mathematical Logic 2 цитирования, 0.35%
Formal Aspects of Computing	Formal Aspects of Computing, 2, 0.35% Formal Aspects of Computing 2 цитирования, 0.35%
Journal of Logic, Language and Information	Journal of Logic, Language and Information, 2, 0.35% Journal of Logic, Language and Information 2 цитирования, 0.35%
ACM SIGLOG News	ACM SIGLOG News, 2, 0.35% ACM SIGLOG News 2 цитирования, 0.35%
Mathematical Modelling of Natural Phenomena	Mathematical Modelling of Natural Phenomena, 1, 0.18% Mathematical Modelling of Natural Phenomena 1 цитирование, 0.18%
Journal of Computer and System Sciences	Journal of Computer and System Sciences, 1, 0.18% Journal of Computer and System Sciences 1 цитирование, 0.18%
IEEE Transactions on Computers	IEEE Transactions on Computers, 1, 0.18% IEEE Transactions on Computers 1 цитирование, 0.18%
Annals of Pure and Applied Logic	Annals of Pure and Applied Logic, 1, 0.18% Annals of Pure and Applied Logic 1 цитирование, 0.18%
IEEE Embedded Systems Letters	IEEE Embedded Systems Letters, 1, 0.18% IEEE Embedded Systems Letters 1 цитирование, 0.18%
Bulletin of the Section of Logic	Bulletin of the Section of Logic, 1, 0.18% Bulletin of the Section of Logic 1 цитирование, 0.18%
Journal of Pure and Applied Algebra	Journal of Pure and Applied Algebra, 1, 0.18% Journal of Pure and Applied Algebra 1 цитирование, 0.18%
Selecta Mathematica, New Series	Selecta Mathematica, New Series, 1, 0.18% Selecta Mathematica, New Series 1 цитирование, 0.18%
Outstanding Contributions to Logic	Outstanding Contributions to Logic, 1, 0.18% Outstanding Contributions to Logic 1 цитирование, 0.18%
Formal Methods in System Design	Formal Methods in System Design, 1, 0.18% Formal Methods in System Design 1 цитирование, 0.18%
New Generation Computing	New Generation Computing, 1, 0.18% New Generation Computing 1 цитирование, 0.18%
Logica Universalis	Logica Universalis, 1, 0.18% Logica Universalis 1 цитирование, 0.18%
Journal of Logical and Algebraic Methods in Programming	Journal of Logical and Algebraic Methods in Programming, 1, 0.18% Journal of Logical and Algebraic Methods in Programming 1 цитирование, 0.18%
Springer Series on Cultural Computing	Springer Series on Cultural Computing, 1, 0.18% Springer Series on Cultural Computing 1 цитирование, 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 цитирование, 0.18%
ACM Transactions on Computation Theory	ACM Transactions on Computation Theory, 1, 0.18% ACM Transactions on Computation Theory 1 цитирование, 0.18%
Science of Computer Programming	Science of Computer Programming, 1, 0.18% Science of Computer Programming 1 цитирование, 0.18%
Mathematical Logic Quarterly	Mathematical Logic Quarterly, 1, 0.18% 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% 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% Fuzzy Sets and Systems 1 цитирование, 0.18%
Bulletin of Symbolic Logic	Bulletin of Symbolic Logic, 1, 0.18% Bulletin of Symbolic Logic 1 цитирование, 0.18%
IEEE Access	IEEE Access, 1, 0.18% IEEE Access 1 цитирование, 0.18%
Central European Journal of Mathematics	Central European Journal of Mathematics, 1, 0.18% Central European Journal of Mathematics 1 цитирование, 0.18%
Around the Tree	Around the Tree, 1, 0.18% Around the Tree 1 цитирование, 0.18%
Critical Infrastructure Protection II	Critical Infrastructure Protection II, 1, 0.18% Critical Infrastructure Protection II 1 цитирование, 0.18%

	20 40 60 80 100 120 140 160

Цитирующие издатели

	50 100 150 200 250
Springer Nature	Springer Nature, 204, 35.73% Springer Nature 204 цитирования, 35.73%
Association for Computing Machinery (ACM)	Association for Computing Machinery (ACM), 172, 30.12% Association for Computing Machinery (ACM) 172 цитирования, 30.12%
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 35, 6.13% Institute of Electrical and Electronics Engineers (IEEE) 35 цитирований, 6.13%
Cambridge University Press	Cambridge University Press, 27, 4.73% Cambridge University Press 27 цитирований, 4.73%
Elsevier	Elsevier, 27, 4.73% Elsevier 27 цитирований, 4.73%
electronic proceedings in theoretical computer science, eptcs	electronic proceedings in theoretical computer science, eptcs, 26, 4.55% electronic proceedings in theoretical computer science, eptcs 26 цитирований, 4.55%
Technischen Universitat Braunschweig	Technischen Universitat Braunschweig, 15, 2.63% Technischen Universitat Braunschweig 15 цитирований, 2.63%
Oxford University Press	Oxford University Press, 14, 2.45% Oxford University Press 14 цитирований, 2.45%
EDP Sciences	EDP Sciences, 7, 1.23% EDP Sciences 7 цитирований, 1.23%
proceedings - symposium on logic in computer science	proceedings - symposium on logic in computer science, 4, 0.7% proceedings - symposium on logic in computer science 4 цитирования, 0.7%
Open Publishing Association	Open Publishing Association, 3, 0.53% Open Publishing Association 3 цитирования, 0.53%
De Gruyter Brill	De Gruyter Brill, 1, 0.18% De Gruyter Brill 1 цитирование, 0.18%
Wiley	Wiley, 1, 0.18% Wiley 1 цитирование, 0.18%
World Scientific	World Scientific, 1, 0.18% World Scientific 1 цитирование, 0.18%
The Royal Society	The Royal Society, 1, 0.18% The Royal Society 1 цитирование, 0.18%
Uniwersytet Lodzki (University of Lodz)	Uniwersytet Lodzki (University of Lodz), 1, 0.18% Uniwersytet Lodzki (University of Lodz) 1 цитирование, 0.18%
	50 100 150 200 250