ISSN: 0955-792X
Journal Home
Journal Guideline
Journal of Logic and Computation Q1 Unclaimed
Journal of Logic and Computation is a journal indexed in SJR in Software and Arts and Humanities (miscellaneous) with an H index of 56. It has an SJR impact factor of 0,561 and it has a best quartile of Q1. It is published in English. It has an SJR impact factor of 0,561.
Type: Journal
Type of Copyright:
Languages: English
Open Access Policy: Open Choice
Type of publications:
Publication frecuency: -
- €
Inmediate OANPD
Embargoed OA0 €
Non OAMetrics
0,561
SJR Impact factor56
H Index43
Total Docs (Last Year)210
Total Docs (3 years)1615
Total Refs187
Total Cites (3 years)198
Citable Docs (3 years)0.83
Cites/Doc (2 years)37.56
Ref/DocOther journals with similar parameters
IEEE Transactions on Evolutionary Computation Q1
IEEE Transactions on Cybernetics Q1
Synthesis Lectures on Communication Networks Q1
Information Fusion Q1
IEEE Transactions on Pattern Analysis and Machine Intelligence Q1
Compare this journals
Aims and Scope
Best articles by citations
The unreasonable effectiveness of Nonstandard Analysis
View moreStrong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation
View moreReconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities
View moreCombining Soft Linear Logic and Spatio-temporal Operators
View moreA Real-time Semantics of Temporal Logic of Actions
View moreLower bounds for the state complexity of probabilistic languages and the language of prime numbers
View moreFuzzy Logics with Noncommutative Conjuctions
View moreBringing them all Together
View moreEditorial
View moreOn the Turing Degrees of Weakly Computable Real Numbers
View moreWriting out Unifiers in Linear Temporal Logic
View moreProbabilistic justification logic
View moreReview: From 0 to 1; an Authoritative History of Modern Computing
View moreA Logic for Partial System Description
View moreMultiple conclusion linear logic: cut elimination and more
View moreResource sharing linear logic
View moreA Linear Spine Calculus
View moreReview: Handbook of Process Algebra
View morePSPACE Reasoning for Graded Modal Logics
View moreOn Non-local Propositional and Weak Monodic Quantified CTL*
View moreFormal Verification of an Incremental Garbage Collector
View moreA Logical Viewpoint on Process-algebraic Quotients
View moreLabelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
View moreEditorial
View more
Comments