Default: Journal of Logic and Computation

ISSN: 0955-792X

Journal Home

Journal Guideline

Journal of Logic and Computation Q1 Unclaimed

Oxford University Press United Kingdom
Unfortunately this journal has not been claimed yet. For this reason, some information may be unavailable.

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: -

Metrics

Journal of Logic and Computation

0,561

SJR Impact factor

56

H Index

43

Total Docs (Last Year)

210

Total Docs (3 years)

1615

Total Refs

187

Total Cites (3 years)

198

Citable Docs (3 years)

0.83

Cites/Doc (2 years)

37.56

Ref/Doc

Comments

No comments ... Be the first to comment!



Best articles by citations

The unreasonable effectiveness of Nonstandard Analysis

View more

Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation

View more

Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities

View more

Combining Soft Linear Logic and Spatio-temporal Operators

View more

A Real-time Semantics of Temporal Logic of Actions

View more

Lower bounds for the state complexity of probabilistic languages and the language of prime numbers

View more

Fuzzy Logics with Noncommutative Conjuctions

View more

Bringing them all Together

View more

Editorial

View more

On the Turing Degrees of Weakly Computable Real Numbers

View more

Writing out Unifiers in Linear Temporal Logic

View more

Probabilistic justification logic

View more
SHOW MORE ARTICLES

Review: From 0 to 1; an Authoritative History of Modern Computing

View more

A Logic for Partial System Description

View more

Multiple conclusion linear logic: cut elimination and more

View more

Resource sharing linear logic

View more

A Linear Spine Calculus

View more

Review: Handbook of Process Algebra

View more

PSPACE Reasoning for Graded Modal Logics

View more

On Non-local Propositional and Weak Monodic Quantified CTL*

View more

Formal Verification of an Incremental Garbage Collector

View more

A Logical Viewpoint on Process-algebraic Quotients

View more

Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations

View more

Editorial

View more

FAQS