Journals in Logics and meanings of programs
Journals in Logics and meanings of programs
- ISSN: 0020-0190
Information Processing Letters

- ISSN: 2352-2208
Journal of Logical and Algebraic Methods in Programming

- ISSN: 0304-3975
Theoretical Computer Science
