D. Pattinson

发表

A. Lieutier, A. Edalat, D. Pattinson, 2012 .
D. Pattinson, Lutz Schr¨oder, 2013 .
Lutz Schröder, A. Kurz, Y. Venema, 2010 .
Robert S. R. Myers, Lutz Schröder, Georgel Calin, 2007 .
Jim de Groot, D. Pattinson, 2020, Log. Methods Comput. Sci..
S. Milius, Thorsten Wißmann, D. Pattinson, 2016, ArXiv.
Lutz Schröder, D. Pattinson, C. Kupke, 2022, ACM Transactions on Computational Logic.
Dirk Pattinson, Clemens Kupke, Lutz Schröder, 2020, ACM Trans. Comput. Log..
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2011, IJCAI.
Dirk Pattinson, Clemens Kupke, D. Pattinson, 2010, Advances in Modal Logic.
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2008, KI.
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2008, ArXiv.
Rajeev Goré, Dirk Pattinson, Clemens Kupke, 2010, TACAS.
Stefan Milius, Dirk Pattinson, Thorsten Wißmann, 2018, Inf. Comput..
Barbara König, Dirk Pattinson, Lutz Schröder, 2019, IJCAI.
Barbara König, Dirk Pattinson, Lutz Schröder, 2018, ArXiv.
Katsuhiko Sano, Tadeusz Litak, Dirk Pattinson, 2017, Log. Methods Comput. Sci..
Katsuhiko Sano, Tadeusz Litak, Dirk Pattinson, 2017, ArXiv.
Tadeusz Litak, Dirk Pattinson, Lutz Schröder, 2015, J. Log. Comput..
Dirk Pattinson, Sergey Goncharov, S. Goncharov, 2014, ICALP.
Dirk Pattinson, D. Pattinson, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Katsuhiko Sano, Tadeusz Litak, Dirk Pattinson, 2012, ICALP.
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2011, Mathematical Structures in Computer Science.
Rajeev Goré, Dirk Pattinson, Clemens Kupke, 2010, IJCAR.
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2010, FoSSaCS.
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2007, J. Log. Comput..
Dirk Pattinson, Clemens Kupke, Lutz Schröder, 2009, IJCAI.
Dirk Pattinson, Robert S. R. Myers, Lutz Schröder, 2009, FoSSaCS.
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2009, STACS.
Corina Cîrstea, Yde Venema, Alexander Kurz, 2008, Comput. J..
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2008, FoSSaCS.
Dirk Pattinson, Lutz Schröder, Georgel Calin, 2008 .
Dirk Pattinson, Robert S. R. Myers, Lutz Schröder, 2009, M4M.
Corina Cîrstea, Dirk Pattinson, C. Cîrstea, 2007, Theor. Comput. Sci..
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2007, ICALP.
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Corina Cîrstea, Dirk Pattinson, C. Cîrstea, 2004, CONCUR.
Barbara König, Dirk Pattinson, Lutz Schröder, 2018, LICS.
Dirk Pattinson, Björn Lellmann, Björn Lellmann, 2013, TABLEAUX.
Dirk Pattinson, Clemens Kupke, D. Pattinson, 2011, Theor. Comput. Sci..
Alexander Kurz, Dirk Pattinson, Clemens Kupke, 2004, CMCS.
Dirk Pattinson, D. Pattinson, 2003 .
Alexander Kurz, Dirk Pattinson, A. Kurz, 2002 .
Dirk Pattinson, D. Pattinson, 2001, STACS.
Bernhard Reus, Dirk Pattinson, D. Pattinson, 2005, FroCoS.
Dirk Pattinson, Lutz Schröder, Daniel Hausmann, 2010, ECAI.
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2012, Lecture Notes in Computer Science.
Dirk Pattinson, Neil Ghani, Peter Hancock, 2009, Log. Methods Comput. Sci..
Jim de Groot, D. Pattinson, Tadeusz Litak, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Jim de Groot, Dirk Pattinson, D. Pattinson, 2021, Inf. Comput..
Jim de Groot, Dirk Pattinson, D. Pattinson, 2020, LICS.
Dirk Pattinson, Cláudia Nalon, D. Pattinson, 2018, IJCAR.
Dirk Pattinson, Daniel Gorín, Lutz Schröder, 2014, IJCAR.
Fredrik Dahlqvist, Dirk Pattinson, Fredrik Dahlqvist, 2011, CALCO.
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2010, Inf. Comput..
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2009, TABLEAUX.
Dirk Pattinson, Clemens Kupke, Corina Cirstea, 2009, CSL.
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2008, KR.
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2008, CMCS.
Alexander Kurz, Dirk Pattinson, Clemens Kupke, 2005, CALCO.
Martin Wirsing, Dirk Pattinson, M. Wirsing, 2005, Theor. Comput. Sci..
Jim de Groot, Dirk Pattinson, D. Pattinson, 2020, Log. Methods Comput. Sci..
Jim de Groot, Dirk Pattinson, D. Pattinson, 2019, WoLLIC.
Dirk Pattinson, D. Pattinson, 2000, WRLA.
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2010, STACS.
Stefan Milius, Dirk Pattinson, Lutz Schröder, 2015, CALCO.
Dirk Pattinson, Neil Ghani, Peter Hancock, 2009, CMCS.
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Dirk Pattinson, Lutz Schröder, Lutz Schröder, 2015, MFPS.
Stefan Milius, Alexander Kurz, Dirk Pattinson, 2014, Software, Services, and Systems.
D. Pattinson, 2004, Notre Dame J. Formal Log..
Mukesh Tiwari, Dirk Pattinson, D. Pattinson, 2017, ITP.
Dirk Pattinson, Florrie Verity, D. Pattinson, 2017, ACSW.
Fredrik Dahlqvist, Dirk Pattinson, Fredrik Dahlqvist, 2013, FoSSaCS.
Martin Wirsing, Dirk Pattinson, M. Wirsing, 2002, FMCO.
Dirk Pattinson, Mina Mohammadian, D. Pattinson, 2019, Log. Methods Comput. Sci..
D. Pattinson, Martin WirsingInstitut, 2007 .
Dirk Pattinson, D. Pattinson, 2003, CMCS.
D. Pattinson, Lutz Schröder, 2007, Mathematical Structures in Computer Science.
Dirk Pattinson, Alexander Kurz, A. Kurz, 2000, CMCS.
Dirk Pattinson, Faris Abou-Saleh, D. Pattinson, 2011, MFPS.
Abbas Edalat, Dirk Pattinson, A. Edalat, 2006, J. Log. Algebraic Methods Program..
D. Pattinson, Mina Mohammadian, 2019, Log. Methods Comput. Sci..