LM

Logical Methods in Computer Science

Journal

Logical 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)