Process algebra with iteration and nesting JA Bergstra, I Bethke, A Ponse The Computer Journal 37 (4), 243-258, 1994 | 161 | 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 | 79 | 1995 |
Polarized process algebra and program equivalence JA Bergstra, I Bethke International Colloquium on Automata, Languages, and Programming, 1-21, 2003 | 63 | 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 | 50 | 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 | 29 | 2002 |
The initial meadows I Bethke, P Rodenburg The Journal of Symbolic Logic 75 (3), 888-895, 2010 | 24 | 2010 |
Process algebra with iteration JA Bergstra, I Bethke, A Ponse University of Amsterdam, Faculty of Mathematics and Computer Science …, 1993 | 21 | 1993 |
Equations for formally real meadows JA Bergstra, I Bethke, A Ponse Journal of Applied Logic 13 (2), 1-23, 2015 | 19 | 2015 |
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 | 16 | 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 | 15 | 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 |
Thread algebra and risk assessment services J BERGSTRA, I BETHKE, A PONSE This page intentionally left blank, 1, 2008 | 12 | 2008 |
Subvarieties of the variety of meadows JA Bergstra, I Bethke arXiv preprint arXiv:1510.04021, 2015 | 11 | 2015 |
Note on paraconsistency and reasoning about fractions JA Bergstra, I Bethke Journal of Applied Non-Classical Logics 25 (2), 120-124, 2015 | 11 | 2015 |