Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 52
Number of items: 52
  • Bethke, I. (2003). Completion of equational specifications. In Terese (Ed.), Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science (pp. 260-300). (55). Cambridge University Press.
  • Bergstra, J. A., & Bethke, I. (2002). Molecular dynamics. The Journal of Logic and Algebraic Programming, 51(2), 193-214. https://doi.org/10.1016/S1567-8326(02)00021-8
  • Bethke, I., Klop, J. W., & Vrijer, R. D. (2000). Descendants and origins in term rewriting. Information and Computation, 159(1-2), 59-124. https://doi.org/10.1006/inco.2000.2876
  • Bergstra, J. A., & Bethke, I. (2000). Network algebra in Java. (J.A. Bergstra, Objects, classes, molecules and threads). Informatics Institute.
  • Bethke, I., & Kaldeway, A. (2000). Datastructuren en Java. Informatics Institute.
  • Bergstra, J. A., Bethke, I., & Ponse, A. (2000). Data flow networks in Java. In J. A. Bergstra (Ed.), Objects, classes, molecules and threads Faculteit der Natuurwetenschappen, Wiskunde en Informatica.
  • Bergstra, J. A., & Bethke, I. (2000). Network algebra in Java. In J. A. Bergstra (Ed.), Objects, classes, molecules and threads Faculteit der Natuurwetenschappen Wiskunde en InformaticaUVA.
  • Bergstra, J. A., Bethke, I., & Ponse, A. (2000). Basic Multi-Competence Programming. (Report P0001). Informatics Institute.
  • Bergstra, J. A., Bethke, I., & Loots, M. E. (2000). A First Course on C Program Reading. (Report P0002). Informatics Institute.
  • Bergstra, J. A., Bethke, I., & Rodenburg, P. H. (1995). A propositional logic with four values: true, false, divergent and meaningless. Journal of Applied Non-Classical Logics, 5, 199-217.
Page 5 of 6