| Process algebra with iteration and nesting JA Bergstra, I Bethke, A Ponse The Computer Journal 37 (4), 243-258, 1994 | 162 | 1994 |
| 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 | 80 | 1995 |
| Polarized process algebra and program equivalence JA Bergstra, I Bethke International Colloquium on Automata, Languages, and Programming, 1-21, 2003 | 64 | 2003 |
| Descendants and origins in term rewriting I Bethke, JW Klop, R de Vrijer Information and Computation 159 (1-2), 59-124, 2000 | 56 | 2000 |
| Cancellation meadows: a generic basis theorem and some applications JA Bergstra, I Bethke, A Ponse The Computer Journal 56 (1), 3-14, 2013 | 53 | 2013 |
| Notes on partial combinatory algebras I Bethke University of Amsterdam, 2018 | 30 | 2018 |
| Molecular dynamics JA Bergstra, I Bethke The Journal of Logic and Algebraic Programming 51 (2), 193-214, 2002 | 30 | 2002 |
| The initial meadows I Bethke, P Rodenburg The Journal of Symbolic Logic 75 (3), 888-895, 2010 | 25 | 2010 |
| Equations for formally real meadows JA Bergstra, I Bethke, A Ponse Journal of Applied Logic 13 (2), 1-23, 2015 | 21 | 2015 |
| Process algebra with iteration JA Bergstra, I Bethke, A Ponse University of Amsterdam, Faculty of Mathematics and Computer Science …, 1993 | 21 | 1993 |
| Decision problems for pushdown threads JA Bergstra, I Bethke, A Ponse Acta Informatica 44, 75-90, 2007 | 19 | 2007 |
| On the existence of extensional partial combinatory algebras I Bethke The Journal of symbolic logic 52 (3), 819-833, 1987 | 19 | 1987 |
| Polarized process algebra with reactive composition JA Bergstra, I Bethke Theoretical Computer Science 343 (3), 285-304, 2005 | 17 | 2005 |
| The structure of finite meadows I Bethke, P Rodenburg, A Sevenster Journal of Logical and Algebraic Methods in Programming 84 (2), 276-282, 2015 | 16 | 2015 |
| Collapsing partial combinatory algebras I Bethke, JW Klop International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, 57-73, 1995 | 14 | 1995 |
| Process algebra with combinators JA Bergstra, I Bethke, A Ponse Computer Science Logic: 7th Workshop, CSL'93 Swansea, United Kingdom …, 1994 | 14 | 1994 |
| 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 | 13 | 1996 |
| Note on paraconsistency and reasoning about fractions JA Bergstra, I Bethke Journal of Applied Non-Classical Logics 25 (2), 120-124, 2015 | 12 | 2015 |
| Predictable and reliable program code: virtual machine-based projection semantics JA Bergstra, I Bethke Handbook of Network and System Administration, 653-685, 2008 | 12 | 2008 |
| Thread algebra and risk assessment services J BERGSTRA, I BETHKE, A PONSE This page intentionally left blank, 1, 2008 | 12 | 2008 |