Ernst-Erich Doberkat

发表

Ernst-Erich Doberkat, 2020, ArXiv.
Ernst-Erich Doberkat, Ulrich Gutenbeil, 1991 .
Wilhelm Hasselbring, Ernst-Erich Doberkat, Ulrich Gutenbeil, 1990 .
Ernst-Erich Doberkat, 2018 .
Ernst-Erich Doberkat, Stefan Dißmann, 2002 .
Ernst-Erich Doberkat, Stefan Dißmann, E.-E. Doberkat, 1999 .
Gregor Engels, Ernst-Erich Doberkat, Marc Lohmann, 2005 .
Ernst-Erich Doberkat, Christoph Schubert, E. Doberkat, 2009, Ann. Pure Appl. Log..
Ernst-Erich Doberkat, E. Doberkat, 2008, Mathematical Structures in Computer Science.
Ernst-Erich Doberkat, E. Doberkat, 2014, J. Log. Algebraic Methods Program..
Ernst-Erich Doberkat, E. Doberkat, 2011, The Journal of Symbolic Logic.
Ernst-Erich Doberkat, 2005, Math. Struct. Comput. Sci..
Ernst-Erich Doberkat, 2003, Acta Informatica.
Ernst-Erich Doberkat, Stefan Dißmann, E.-E. Doberkat, 2002 .
Ernst-Erich Doberkat, E. Doberkat, 2002 .
Ernst-Erich Doberkat, Kio C. Hyun, 1985, SIGP.
Ernst-Erich Doberkat, 2000, LOG IN.
Ernst-Erich Doberkat, E. Doberkat, 1984, Inf. Control..
Wilhelm Hasselbring, Ernst-Erich Doberkat, Wolfgang Franke, 1993 .
Wilhelm Hasselbring, Ernst-Erich Doberkat, Claus Pahl, 1996, COORDINATION.
Fritz Schmidt, Ernst-Erich Doberkat, Christof Veltmann, 2000, Environ. Model. Softw..
Ernst-Erich Doberkat, E. Doberkat, 2002, FoSSaCS.
Ernst-Erich Doberkat, E. Doberkat, 2005, ICTAC.
Ernst-Erich Doberkat, E. Doberkat, 1981, BIT.
Ernst-Erich Doberkat, Stefan Dißmann, E.-E. Doberkat, 2002 .
Kyo Chul Kang, Ernst-Erich Doberkat, Stan Jarzabek, 1996, APSEC.
Ernst-Erich Doberkat, E. Doberkat, 2003, ICALP.
Ernst-Erich Doberkat, 1993, ICLP Workshop on Logic Programming with Sets.
Gregor Engels, Ernst-Erich Doberkat, Corina Kopka, 2002, Informatik Forschung und Entwicklung.
Ernst-Erich Doberkat, E. Doberkat, 2008, TAMC.
Ernst-Erich Doberkat, E. Doberkat, 2014, ArXiv.
Ernst-Erich Doberkat, 2007 .
Ernst-Erich Doberkat, E. Doberkat, 2014, J. Log. Algebraic Methods Program..
Ernst-Erich Doberkat, E. Doberkat, 2006, AMAST.
Ernst-Erich Doberkat, Pedro Sánchez Terraf, E. Doberkat, 2014, J. Log. Comput..
Ernst-Erich Doberkat, E. Doberkat, 2014, ArXiv.
Ernst-Erich Doberkat, Eugenio G. Omodeo, 2001, Electron. Notes Theor. Comput. Sci..
Ernst-Erich Doberkat, 1981 .
Ernst-Erich Doberkat, E. Doberkat, 2007 .
Ernst-Erich Doberkat, Alexander Kurz, A. Kurz, 2012, Dagstuhl Reports.
Ernst-Erich Doberkat, E. Doberkat, 1981 .
Ernst-Erich Doberkat, 2003, Fundam. Informaticae.
Ernst-Erich Doberkat, 1992, Struct. Program..
Gregor Engels, Ernst-Erich Doberkat, Ernst-Erich Doberkat, 2004 .
Ernst-Erich Doberkat, 2003, FoSSaCS.
Ernst-Erich Doberkat, Alexander Kurz, 2017, Math. Struct. Comput. Sci..
Ernst-Erich Doberkat, 1981 .
Wilhelm Hasselbring, Ernst-Erich Doberkat, Claus Pahl, 1992, [1992 Proceedings] The Third International Workshop on Rapid System Prototyping.
Ernst-Erich Doberkat, Eugenio G. Omodeo, E. Doberkat, 2001, RelMiS.
Ernst-Erich Doberkat, Dietmar Fox, Ernst-Erich Doberkat, 1989 .
Ernst-Erich Doberkat, E. Doberkat, 2012, Ann. Pure Appl. Log..
Ernst-Erich Doberkat, E. Doberkat, 2006, Inf. Comput..
Ernst-Erich Doberkat, Heinz Züllighoven, Werner Altmann, 1993 .
Gregor Engels, Ernst-Erich Doberkat, Marc Lohmann, 2003 .
Ernst-Erich Doberkat, 2005, Mathematical systems theory.
Ernst-Erich Doberkat, 1989, SIAM J. Comput..
Gregor Engels, Ernst-Erich Doberkat, Marc Lohmann, 2005 .
Ernst-Erich Doberkat, Werner Geiger, Matthias Reißfelder, 1998 .
Ernst-Erich Doberkat, E. Doberkat, 1982, Acta Informatica.
Gregor Engels, Ernst-Erich Doberkat, 2002, GI Jahrestagung.
Ernst-Erich Doberkat, Dietmar Fox, E.-E. Doberkat, 1990 .
Ernst-Erich Doberkat, Alexander Kurz, 2009, Coalgebraic Logics.
Ernst-Erich Doberkat, E. Doberkat, 2003, J. Log. Algebraic Methods Program..
Ernst-Erich Doberkat, Ulrich Gutenbeil, 1987 .
Udo Kelter, Ernst-Erich Doberkat, Wolfgang Franke, 1993, Requirements Engineering.
Ernst-Erich Doberkat, 2015, RAMICS.
Ernst-Erich Doberkat, 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.
Wilhelm Hasselbring, Ernst-Erich Doberkat, Claus Pahl, 1992 .
Ernst-Erich Doberkat, E. Doberkat, 2015, Springer International Publishing.
Ernst-Erich Doberkat, 2016, Frontiers of Computer Science.
Ernst-Erich Doberkat, 1996, Softw. Concepts Tools.
Ernst-Erich Doberkat, 1989, Inform. Forsch. Entwickl..
Ernst-Erich Doberkat, E. Doberkat, 1997, Int. J. Softw. Eng. Knowl. Eng..
Ernst-Erich Doberkat, 1981 .
Ernst-Erich Doberkat, Stefan Dißmann, 1996 .
Ernst-Erich Doberkat, E.-E. Doberkat, 2017 .
Ernst-Erich Doberkat, 1981, Lecture Notes in Computer Science.
Ernst-Erich Doberkat, 1996, Informatik Forschung und Entwicklung.
Ernst-Erich Doberkat, 2016, Fundam. Informaticae.
Ernst-Erich Doberkat, Alexander Kurz, 2011, Math. Struct. Comput. Sci..
Yixiang Chen, Ernst-Erich Doberkat, Achim Jung, 2009, ISDT.
Ernst-Erich Doberkat, Eugenio G. Omodeo, E. Doberkat, 2004, Theor. Comput. Sci..
Ernst-Erich Doberkat, E. Doberkat, 2015 .
Ernst-Erich Doberkat, 2018 .
Ernst-Erich Doberkat, E. Doberkat, 2004, Inf. Process. Lett..
Wilhelm Hasselbring, Ernst-Erich Doberkat, Claus Pahl, 1992 .
Ernst-Erich Doberkat, E. Doberkat, 2001, Softwaretechnik-Trends.
Ernst-Erich Doberkat, 2009, Monographs in Theoretical Computer Science. An EATCS Series.
Ernst-Erich Doberkat, E. Doberkat, 2008, Ann. Pure Appl. Log..
Ernst-Erich Doberkat, E. Doberkat, 2015 .
Ernst-Erich Doberkat, 1984, INFOS.
Ernst-Erich Doberkat, Alexander Fronk, Johannes Bergemann, 2004, Informatik Forschung und Entwicklung.
Ernst-Erich Doberkat, Stefan Dißmann, 2002 .
Gregor Engels, Ernst-Erich Doberkat, 2002 .
Ernst-Erich Doberkat, E. Doberkat, 2010 .
Ernst-Erich Doberkat, 2002 .
Ernst-Erich Doberkat, E. Doberkat, 2006 .
Ernst-Erich Doberkat, E. Doberkat, 2012, The Journal of Symbolic Logic.
Ernst-Erich Doberkat, E. Doberkat, 2004 .