IA
Information and Computation
JournalElsevier 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)