Over dit tijdschrift
Logic, formal methods and the foundations of computing. Peer-reviewed and open access under CC BY 4.0. Quarterly, with Crossref DOIs.
Huidig nummer
Vol 4 Nr 2 (2026): Vol 4 Issue 2 2026
Gepubliceerd:
2026-07-11
ppp / journals / ltcs
Logical Techniques in Computer Science
Logic, formal methods and the foundations of computing