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
ppp / journals / ltcs
Logical Techniques in Computer Science
Logic, formal methods and the foundations of computing