Inge Bethke

发表

Jan A. Bergstra, Inge Bethke, J. Bergstra, 2014, J. Appl. Non Class. Logics.
Inge Bethke, Pieter Hendrik Rodenburg, I. Bethke, 2008, The Journal of Symbolic Logic.
Jan A. Bergstra, Alban Ponse, Inge Bethke, 1994, Comput. J..
Jan A. Bergstra, Inge Bethke, 2005, Inf. Process. Lett..
Jan A. Bergstra, Inge Bethke, Pieter Hendrik Rodenburg, 1995, J. Appl. Non Class. Logics.
Ana Lucia Varbanescu, R. G. Belleman, Inge Bethke, 2014 .
Jan A. Bergstra, Inge Bethke, J. Bergstra, 2003, ICALP.
Jan A. Bergstra, Inge Bethke, 2005, J. Log. Algebraic Methods Program..
Jan A. Bergstra, Inge Bethke, Dimitri Hendriks, 2017, ArXiv.
Jan A. Bergstra, Inge Bethke, J. Bergstra, 2015, Sci. Ann. Comput. Sci..
Jan A. Bergstra, Alban Ponse, Inge Bethke, 2007 .
Inge Bethke, Pieter Hendrik Rodenburg, I. Bethke, 2007, ArXiv.
Jan A. Bergstra, Mark Burgess, Inge Bethke, 2007, ArXiv.
Jan A. Bergstra, Inge Bethke, J. Bergstra, 2004 .
Jan A. Bergstra, Inge Bethke, J. Bergstra, 2009, ArXiv.
Jan A. Bergstra, Alban Ponse, Inge Bethke, 2000 .
Inge Bethke, Pieter Hendrik Rodenburg, 2011, J. Log. Lang. Inf..
Jan A. Bergstra, Alban Ponse, Inge Bethke, 2000 .
Inge Bethke, A. Kaldeway, 2000 .
Jan A. Bergstra, Inge Bethke, 2011, Theory of Computing Systems.
Jan A. Bergstra, Inge Bethke, J. Bergstra, 2009, Theory of Computing Systems.
Jan Willem Klop, Inge Bethke, Roel C. de Vrijer, 1999, Mathematical Structures in Computer Science.
Jan A. Bergstra, Inge Bethke, 2014 .
Jan Willem Klop, Inge Bethke, Roel C. de Vrijer, 2000, Inf. Comput..
Inge Bethke, I. Bethke, 1991, Ann. Pure Appl. Log..
Alban Ponse, Inge Bethke, Pieter Hendrik Rodenburg, 2011, Theor. Comput. Sci..
Jan Willem Klop, Inge Bethke, Roel C. de Vrijer, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Inge Bethke, 1991, Theor. Comput. Sci..
Jan A. Bergstra, Alban Ponse, Inge Bethke, 1993 .
Jan Willem Klop, Inge Bethke, J. Klop, 1995, HOA.
Jan A. Bergstra, Inge Bethke, 2005, Theor. Comput. Sci..
Jan A. Bergstra, Alban Ponse, Inge Bethke, 1993, CSL.
Inge Bethke, Pieter Hendrik Rodenburg, Arjen Sevenster, 2009, J. Log. Algebraic Methods Program..
Jan A. Bergstra, Inge Bethke, 2002, J. Log. Algebraic Methods Program..
Jon Oberlander, Jaap van der Does, Inge Bethke, 1989 .
Inge Bethke, Pieter Hendrik Rodenburg, I. Bethke, 1996, Fundam. Informaticae.
Jan A. Bergstra, Alban Ponse, Inge Bethke, 2013, J. Appl. Log..
Jan A. Bergstra, Alban Ponse, Inge Bethke, 2006 .
Jan A. Bergstra, Alban Ponse, Inge Bethke, 2007, Acta Informatica.