LM
Logical Methods in Computer Science
JournalLogical Methods in Computer Science e.V.
1,714
Publications
14,912
Citations
Loading papers...
Search by keywords
Filter by Type
- Article (1,264)
- Preprint (390)
- Paratext (75)
- Book Chapter (1)
Filter by Open Access Type
- Open Access (2)
- Closed Access (1,728)
Filter by Authors
- Luc Segoufin (12)
- Mikołaj Bojańczyk (11)
- Krishnendu Chatterjee (11)
- Stefan Milius (10)
- Alexander Kurz (10)
Filter by Topics
- Logic, programming, and type systems (851)
- Formal Methods in Verification (662)
- Logic, Reasoning, and Knowledge (572)
- semigroups and automata theory (322)
- Computability, Logic, AI Algorithms (229)