Journal

Information and Computation

Elsevier BV. Logic, programming, and type systems. 5,855 works and 111,270 citations indexed by CitedEvidence.

Works

5,855

Citations

111,270

H-index

136

ISSN

0890-5401

Open access

Impact

0.75

Research Topics

Logic, programming, and type systemsFormal Methods in Verificationsemigroups and automata theoryLogic, Reasoning, and KnowledgeDiverse Scientific and Economic StudiesHuman auditory perception and evaluationAdvanced Algorithms and ApplicationsIndustrial Technology and Control SystemsAlgorithms and Data CompressionComputability, Logic, AI Algorithms