by Strassburger, Lutz
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (11.03.2019)

by Strassburger, Lutz
Published in Theoretical computer science (10.05.2019)

by Acclavio, Matteo, Horne, Ross, Straßburger, Lutz
Published in Logical methods in computer science (21.10.2022)

by Straßburger, Lutz
Published in Foundations of Software Science and Computation Structures (2013)

by Kuznets, Roman, Straßburger, Lutz
Published in Archive for mathematical logic (01.05.2019)

by Das, Anupam, Straßburger, Lutz
Published in Logical methods in computer science (27.04.2017)

by Strassburger, Lutz
Published in Annals of pure and applied logic (01.12.2012)

by Nguyên, Lê Thành Dũng, Straßburger, Lutz
Published in Logical methods in computer science (18.12.2023)

by Strassburger, Lutz
Published in Mathematical structures in computer science (01.09.2019)

by Girlando, Marianna, Straßburger, Lutz
Published in Automated Reasoning (01.01.2020)

by Acclavio, Matteo, Straßburger, Lutz
Published in Automated Reasoning with Analytic Tableaux and Related Methods (2019)

by Acclavio, Matteo, Catta, Davide, Straßburger, Lutz
Published in Automated Reasoning with Analytic Tableaux and Related Methods (2021)

by Acclavio, Matteo, Straßburger, Lutz
Published in Automated Reasoning (2018)

by Ralph, Benjamin, Straßburger, Lutz
Published in Automated Reasoning with Analytic Tableaux and Related Methods (2019)

by Acclavio, Matteo, Straßburger, Lutz
Published in Logic, Language, Information, and Computation (2019)

by HEIJLTJES, WILLEM, STRAßBURGER, LUTZ
Published in Mathematical structures in computer science (01.06.2016)

by Strassburger, Lutz, Das, Anupam, Arisaka, Ryuta
Published in Logical methods in computer science (03.09.2015)

by Hughes, Dominic J. D., Strasburger, Lutz, Wu, Jui-Hsuan
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)

by Hetzl, Stefan, Straßburger, Lutz
Published in Logical methods in computer science (18.12.2013)

by Heijltjes, Willem B., Hughes, Dominic J. D., StraBburger, Lutz
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)