Proceedings - Symposium on Logic in Computer Science : Impact Factor & More
pISSN: 1043-6871
Share this on:
Key Metrics
CiteScore 
4.5
SJR
Q2Software
SNIP
2.67
Recommended pre-submission checks
Powered by 
Run standard language and technical checks to improve your manuscript – before you submit
Technical Compliance
Ensure manuscript complies with standard submission guidelines.
Language Quality
Improve clarity, grammar, and academic writing style.
A comprehensive report covering all these checks awaits you.
Proceedings - Symposium on Logic in Computer Science Journal Specifications
Indexed in the following public directories
Scopus
| Overview | |
| Publisher | IEEE |
Looking for the right journals to submit your mansucript?
Upload your manuscript and get a submission readiness score and other journal recommendations.
Check my PaperRecently Published Papers in Proceedings - Symposium on Logic in Computer Science
Maltsev + Datalog --≫ Symmetric Datalog
- 1 Jun 2008
- Proceedings - Symposium on Logic in Computer Science
Collapsible Pushdown Automata and Recursion Schemes
- 1 Jun 2008
- Proceedings - Symposium on Logic in Computer Science
General Structural Operational Semantics through Categorical Logic
- 1 Jun 2008
- Proceedings - Symposium on Logic in Computer Science
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs
- 1 Jun 2008
- Proceedings - Symposium on Logic in Computer Science
A Neutral Approach to Proof and Refutation in MALL
- 1 Jun 2008
- Proceedings - Symposium on Logic in Computer Science
Piecewise Testable Tree Languages
- 1 Jun 2008
- Proceedings - Symposium on Logic in Computer Science
Maltsev + Datalog --≫ Symmetric Datalog
- 1 Jun 2008
- Proceedings - Symposium on Logic in Computer Science
Collapsible Pushdown Automata and Recursion Schemes
- 1 Jun 2008
- Proceedings - Symposium on Logic in Computer Science
General Structural Operational Semantics through Categorical Logic
- 1 Jun 2008
- Proceedings - Symposium on Logic in Computer Science
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs
- 1 Jun 2008
- Proceedings - Symposium on Logic in Computer Science
A Neutral Approach to Proof and Refutation in MALL
- 1 Jun 2008
- Proceedings - Symposium on Logic in Computer Science
Piecewise Testable Tree Languages
- 1 Jun 2008
- Proceedings - Symposium on Logic in Computer Science
FAQs on Proceedings - Symposium on Logic in Computer Science
What is Citescore for Proceedings - Symposium on Logic in Computer Science? 
What is SNIP score for Proceedings - Symposium on Logic in Computer Science?
What is the SJR for Proceedings - Symposium on Logic in Computer Science?
Who is the publisher of Proceedings - Symposium on Logic in Computer Science?
