- Publisher: Elsevier Inc.
- ISSN: 23522208, 23522216
- Journal Impact Factor: 1.2
- SJR: 0.442
- Journal Quartile: Q2
- Publication Language: English
- Indexing: Scopus, Web of Science, UGC
- Open-Access: No
- Country of Publication: United States
- H-Index: 23
- Publication Area: Logic (Q2); Computational Theory and Mathematics (Q3); Software (Q3); Theoretical Computer Science (Q3)