Proceedings - Symposium on Logic in Computer Science Key Metrics
CiteScore
4.5
SJR
Q2Software
SNIP
2.67
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
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity
- 24 Jun 2008
Types for Hereditary Permutators
- 24 Jun 2008
Hypergraph Acyclicity and Extension Preservation Theorems
- 1 Jun 2008
An Algebraic Process Calculus
- 1 Jun 2008
On the Expressiveness and Decidability of Higher-Order Process Calculi
- 1 Jun 2008
Collapsible Pushdown Automata and Recursion Schemes
- 1 Jun 2008
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity
- 24 Jun 2008
Types for Hereditary Permutators
- 24 Jun 2008
Hypergraph Acyclicity and Extension Preservation Theorems
- 1 Jun 2008
An Algebraic Process Calculus
- 1 Jun 2008
On the Expressiveness and Decidability of Higher-Order Process Calculi
- 1 Jun 2008
Collapsible Pushdown Automata and Recursion Schemes
- 1 Jun 2008
FAQs on Proceedings - Symposium on Logic in Computer Science
What is Citescore for Proceedings - Symposium on Logic in Computer Science?
Citescore for Proceedings - Symposium on Logic in Computer Science is 4.5.
What is SNIP score for Proceedings - Symposium on Logic in Computer Science?
SNIP score for Proceedings - Symposium on Logic in Computer Science is 2.67.
What is the SJR for Proceedings - Symposium on Logic in Computer Science?
SJR for Proceedings - Symposium on Logic in Computer Science is Q2.
Who is the publisher of Proceedings - Symposium on Logic in Computer Science?
IEEE is the publisher of Proceedings - Symposium on Logic in Computer Science.