Lutz Straßburger

发表

Matteo Acclavio, Lutz Straßburger, Lutz Straßburger, 2019, TABLEAUX.
Lutz Straßburger, Roman Kuznets, Sonia Marin, 2017 .
Lutz Straßburger, Alessio Guglielmi, 2011, Math. Struct. Comput. Sci..
Lutz Straßburger, Andrea Aler Tubella, Lutz Straßburger, 2019 .
Lutz Straßburger, Lutz Straßburger, 2007 .
Lutz Straßburger, Lutz Straßburger, 2012, Ann. Pure Appl. Log..
Matteo Acclavio, Lutz Straßburger, Lutz Straßburger, 2018, IJCAR.
Lutz Straßburger, Anupam Das, Lutz Straßburger, 2016, Log. Methods Comput. Sci..
Lutz Straßburger, Kai Brünnler, 2009, TABLEAUX.
Lutz Straßburger, Novak Novakovic, 2013 .
Lutz Straßburger, Lutz Straßburger, 2019, Theor. Comput. Sci..
Lutz Straßburger, Alessio Guglielmi, Lutz Straßburger, 2009, TOCL.
Lutz Straßburger, Lutz Straßburger, 2011 .
Kazushige Terui, Lutz Straßburger, Agata Ciabattoni, 2009, CSL.
Ross Horne, Matteo Acclavio, Lutz Straßburger, 2020, LICS.
François Lamarche, Lutz Straßburger, 2004, CSL.
Lutz Straßburger, Lutz Straßburger, 2006, ArXiv.
Lutz Straßburger, Roman Kuznets, Lutz Straßburger, 2018, Archive for Mathematical Logic.
Lutz Straßburger, Daniel Seidel, Janis Voigtländer, 2014, PPDP '14.
Lutz Straßburger, Ryuta Arisaka, Anupam Das, 2015, Log. Methods Comput. Sci..
Lutz Straßburger, Kaustuv Chaudhuri, Nicolas Guenot, 2011, CSL.
Lutz Straßburger, Benjamin Ralph, Lutz Straßburger, 2019, TABLEAUX.
Lutz Straßburger, Sonia Marin, Lutz Straßburger, 2014, Advances in Modal Logic.
Lutz Straßburger, Lutz Straßburger, 2019, Philosophical Transactions of the Royal Society A.
François Lamarche, Lutz Straßburger, Lutz Straßburger, 2005, TLCA.
Lutz Straßburger, Nicolas Guenot, 2014, CSL-LICS.
Lutz Straßburger, 2009, LATA.
Lutz Straßburger, Tom Gundersen, Alessio Guglielmi, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Lutz Straßburger, Paola Bruscoli, 2017, WoLLIC.
Lutz Straßburger, Prakash Panangaden, Alessio Guglielmi, 2014, Categories and Types in Logic, Language, and Physics.
François Lamarche, Lutz Straßburger, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Lutz Straßburger, 2003, Electron. Notes Theor. Comput. Sci..
Lutz Straßburger, Alessio Guglielmi, 2002, LPAR.
Lutz Straßburger, Lutz Straßburger, 2003 .
Lutz Straßburger, Kaustuv Chaudhuri, Sonia Marin, 2016, FSCD.
Lutz Straßburger, Laurent Méhats, 2016, LACL.
Lutz Straßburger, Dominic J. D. Hughes, Willem B. Heijltjes, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Matteo Acclavio, Lutz Straßburger, Lutz Straßburger, 2019, WoLLIC.
Lutz Straßburger, Stefan Hetzl, Stefan Hetzl, 2013, Log. Methods Comput. Sci..
François Lamarche, Lutz Straßburger, Bruno Guillaume, 2003 .
Lutz Straßburger, Alessio Guglielmi, Lutz Straßburger, 2001, CSL.
Lutz Straßburger, Lutz Straßburger, 2018, Mathematical Structures in Computer Science.
Lutz Straßburger, Willem Heijltjes, Dominic J. D. Hughes, 2019, FSCD.
Lutz Straßburger, Lutz Straßburger, 2003, Theor. Comput. Sci..
Lutz Straßburger, Novak Novakovic, 2015, TOCL.
Lutz Straßburger, Willem Heijltjes, Lutz Straßburger, 2014, Mathematical Structures in Computer Science.
Lutz Straßburger, Lutz Straßburger, 2017, FSCD.
Lutz Straßburger, Stefan Hetzl, Stefan Hetzl, 2012, CSL.
François Lamarche, Lutz Straßburger, Lutz Straßburger, 2006, Log. Methods Comput. Sci..
Lutz Straßburger, Sonia Marin, Lutz Straßburger, 2017, TABLEAUX.
Lutz Straßburger, Lutz Straßburger, 2011, J. Log. Comput..
Lutz Straßburger, Kaustuv Chaudhuri, Sonia Marin, 2016, FoSSaCS.
Lutz Straßburger, Lutz Straßburger, 2010, CiE.
Lutz Straßburger, Lutz Straßburger, 2013, FoSSaCS.
Lutz Straßburger, Lutz Straßburger, 2002, LPAR.
Lutz Straßburger, Sonia Marin, Marianela Morales, 2021, J. Log. Comput..
Lutz Straßburger, Lê Thành Dung Nguyên, Lutz Straßburger, 2022, CSL.
Matteo Acclavio, Lutz Straßburger, Davide Catta, 2021, TABLEAUX.
Lutz Straßburger, 2007 .
Lutz Straßburger, Lutz Straßburger, 2012 .
Lutz Straßburger, Willem Heijltjes, Lutz Straßburger, 2013 .
Lutz Straßburger, Lutz Straßburger, 2017 .