Scientific Annals of Computer Science

Published by Editura Universitatii Alexandru Ioan Cuza din Iasi

Open access · CC BY · In DOAJ · Romania · Logic, programming, and type systems

Journal at a glance

ISSN

1843-8121, 2248-2695 (electronic)

Publisher

Editura Universitatii Alexandru Ioan Cuza din Iasi

Country

Romania

Language

en

License

CC BY

Indexing

• DOAJ: Active

Metrics

Subjects

• Logic, programming, and type systems
• Formal Methods in Verification
• semigroups and automata theory
• Advanced Algebra and Logic
• Logic, Reasoning, and Knowledge
• Computability, Logic, AI Algorithms
• Graph theory and applications
• Science: Mathematics: Instruments and machines: Electronic computers. Computer science

Similar journals

• Logical Methods in Computer Science — Germany · Open access · Same subject: Advanced Algebra and Logic, Same subject: Computability, Logic, AI Algorithms, 6 shared subjects in total
• Fundamenta informaticae — Kingdom of the Netherlands · — · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 5 shared subjects in total
• Archive for mathematical logic — Germany · — · Same subject: Advanced Algebra and Logic, Same subject: Computability, Logic, AI Algorithms, 5 shared subjects in total
• Logic journal of the IGPL — United Kingdom · — · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 5 shared subjects in total
• Information and computation — United States · — · Same subject: Formal Methods in Verification, Same subject: Logic, Reasoning, and Knowledge, 4 shared subjects in total
• Acta informatica — Germany · — · Same subject: Formal Methods in Verification, Same subject: Logic, Reasoning, and Knowledge, 4 shared subjects in total

Sources: DOAJ, OpenAlex, Crossref · Last verified 2026-09-06

Journal homepage · Author guidelines