Inge Bethke
Inge Bethke
Informatics Institute, University of Amsterdam
Geverifieerd e-mailadres voor uva.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Process algebra with iteration and nesting
JA Bergstra, I Bethke, A Ponse
The Computer Journal 37 (4), 243-258, 1994
1471994
A propositional logic with 4 values: true, false, divergent and meaningless
JA Bergstra, I Bethke, P Rodenburg
Journal of Applied Non-Classical Logics 5 (2), 199-217, 1995
681995
Polarized process algebra and program equivalence
JA Bergstra, I Bethke
International Colloquium on Automata, Languages, and Programming, 1-21, 2003
612003
Descendants and origins in term rewriting
I Bethke, JW Klop, R de Vrijer
Information and Computation 159 (1-2), 59-124, 2000
582000
Term rewriting systems
E Barendsen
Cambridge University Press, 2003
562003
Cancellation meadows: a generic basis theorem and some applications
JA Bergstra, I Bethke, A Ponse
The Computer Journal 56 (1), 3-14, 2013
372013
Molecular dynamics
JA Bergstra, I Bethke
The Journal of Logic and Algebraic Programming 51 (2), 193-214, 2002
282002
Process algebra with iteration
JA Bergstra, I Bethke, A Ponse
University of Amsterdam, Faculty of Mathematics and Computer Science …, 1993
221993
Notes on partial combinatory algebras
I Bethke
221988
The initial meadows
I Bethke, P Rodenburg
Journal of Symbolic Logic 75 (3), 888-895, 2010
202010
Decision problems for pushdown threads
JA Bergstra, I Bethke, A Ponse
Acta Informatica 44 (2), 75-90, 2007
192007
On the existence of extensional partial combinatory algebras
I Bethke
Journal of Symbolic Logic, 819-833, 1987
191987
Equations for formally real meadows
JA Bergstra, I Bethke, A Ponse
Journal of Applied Logic 13 (2), 1-23, 2015
142015
Collapsing partial combinatory algebras
I Bethke, JW Klop
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, 57-73, 1995
141995
Polarized process algebra with reactive composition
JA Bergstra, I Bethke
Theoretical Computer Science 343 (3), 285-304, 2005
132005
Thread algebra and risk assessment services
JA Bergstra, I Bethke, A Ponse
Logic Colloquium 5, 2005
122005
Process algebra with combinators
JA Bergstra, I Bethke, A Ponse
International Workshop on Computer Science Logic, 36-65, 1993
121993
Note on paraconsistency and reasoning about fractions
JA Bergstra, I Bethke
Journal of Applied Non-Classical Logics 25 (2), 120-124, 2015
102015
The structure of finite meadows
I Bethke, P Rodenburg, A Sevenster
Journal of Logical and Algebraic Methods in Programming 84 (2), 276-282, 2015
92015
Completing partial combinatory algebras with unique head-normal forms
I Bethke, JW Klop, R De Vrijer
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 448-454, 1996
91996
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20