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

Articles

Bekijk alle nummers
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