Search results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 58,357
Number of items: 58,357
  • Rodenburg, P. H. (1998). Termination and confluence in infinitary term rewriting. Journal of Symbolic Logic, 63, 1286-1296. https://doi.org/10.2307/2586651
  • Blaha, M. R., Quilici, A., & Verhoef, C. (1998). Proceedings on the 5th working conference on reverse engineering. IEEE Computer society.
  • van den Brand, M. G. J., Klint, P., & Verhoef, C. (1998). Term rewriting for scale. In H. Kirchner, & C. Kirchner (Eds.), Proceedings of the second workshop on rewriting logic
  • Apt, K. R., Brunekreef, J. J., Partington, V., & Schaerf, A. (1998). Alma-0 : An imperative language that supports declarative programming. ACM Transactions on Programming Languages and Systems, 20(5), 1014-1066.
  • van Deursen, A., & Klint, P. (1998). Little languages: little maintenance. Journal of software maintenance, 10, 75-92.
  • Groote, J. F., & Luttik, S. P. (1998). A complete axiomatisation of branching bisimulation over data. (SEN- R9830; No. July). WINS (oud WINS).
  • Klint, P., & Verhoef, C. (1998). Evolutionary Software Engineering a component-based approach. WINS (oud WINS).
  • Kozlovsky, O. S. (1998). Structural stability in one-dimensional dynamics. [Thesis, fully internal, Universiteit van Amsterdam].
  • Rottschafer, V. (1998). Co-dimension 2 phenomena in pattern formation. [Thesis, fully external, Universiteit van Amsterdam]. Universiteit Utrecht.
  • van der Heyden, M. (1998). Non linear analysis of continuous and discrete physiological time sequences. [Thesis, fully external, University of Groningen]. Van der Heijden.
Page 5002 of 5836