IA

Information and Computation

Journal

Elsevier BV

5,877

Publications

112,018

Citations

Loading papers...

Search by keywords

Filter by Type

Article (5,312)
Paratext (420)
Preprint (94)
Erratum (20)
Book Chapter (17)

Filter by Open Access Type

Open Access (810)
Closed Access (5,063)

Filter by Authors

Sanjay Jain (32)
Frank Stephan (27)
Alexander Okhotin (21)
Alexander Rabinovich (21)
Wang Zhi-quan (19)

Filter by Topics

Logic, programming, and type systems (958)
Formal Methods in Verification (862)
semigroups and automata theory (772)
Logic, Reasoning, and Knowledge (656)
Diverse Scientific and Economic Studies (607)