Wyniki wyszukiwania dla: Lutz Straßburger
Archive for Mathematical Logic > 2019 > 58 > 3-4 > 359-385
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 231-246
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 246-261
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 715-727
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 152-166
Annals of Pure and Applied Logic > 2012 > 163 > 12 > 1995-2007
Theoretical Computer Science > 2003 > 309 > 1-3 > 213-285
Electronic Notes in Theoretical Computer Science > 2003 > 84 > Complete > 166-177