About the Journal

Logic, formal methods and the foundations of computing. Peer-reviewed and open access under CC BY 4.0. Quarterly, with Crossref DOIs.

Current Issue

Vol. 4 No. 2 (2026): Vol 4 Issue 2 2026
Published: 2026-07-11

Articles

View All Issues
ppp / journals / ltcs

Logical Techniques in Computer Science

Logic, formal methods and the foundations of computing

editor_in_chiefJohn F. Kennedy
frequencyQuarterly
since2023
reviewDouble-blind
licenceCC BY 4.0
doi_prefix10.70705 (Crossref)

Submit a manuscriptAim & ScopeAuthor guidelines