Machine intelligence and explication / R. WieringaInteractive editing of mathematical formulae / S. van Egmond, F.C. Heeman, J.C. van VlietAxiomatic specification of database domain statics / R.J. WieringaAlgebraic specification of database domain dynamics / R. WieringaAlgebraic specification of database domain dynamics / R. WieringaKnuth-Bendix completions of process algebra axiomatizations / G.J. AkkermanIncremental parsing in INFORM / Frans C. HeemanConstraint management in knowledge bases / H. WeigandComparisons of treshold stoprule and supremum expectations for negativily dependent and independent random vectors / F.A. BoshuizenDe met cijfers bedekte 19e eeuw: een historisch verhaal n.a.v. het programma wiskunde-A / T. KoetsierMetric semantics for concurrency / J.W. de Bakker, J.-J. Ch. MeyerStrictly contractive and positive completions for blocks matrices / H.J. WoerdemanDenotational semantics for 'true' concurrency / J.-J. Ch. Meyer, E.P. de VinkDeformations of hypersurfaces with a one dimensional singular locus / R. PellikaanMANDIS/Amoeba: a widely dispersed object-oriented operating system / R. van Renesse ... [et al.]Voting with ghosts / R. van Renesse, A.S. TanenbaumThe design of a window system for Amoeba / G.J. SharpActive information retrieval / A.J. Kok, A.M. BotmanOrca: a language for distributed object-based programming / H.E. Bal, A.S. TanenbaumThe performance of the Amoeba distributed operating system / R. van Renesse, H. van Staveren A.S. TanenbaumDesign and implementation of parallel make / E.H. BaalbergenOn polynomial mappings into spheres / J. Bochnak, W. KucharzJackson system development analysed in process algebra / R. WieringaDistributed programming with shared data / H.E. Bal, A.S. TanenbaumEquivalence of an operational and a denotational semantics for a Prolog-like language with Cut / E.P. de VinkA sufficient condition for the termination of the direct sum of term rewriting systems / Aart MiddeldorpOptimal stopping and switching in a matrix of random variables and some related inequalities / F.A. BoshuizenProgramming languages for distributed systems / H.E. Bal, J.G. Steiner, A.S. TanenbaumThe Amsterdam knowledge base system ADAM / R.P. van de Riet, E.G. KeizerJaarverslag / Faculteit Wiskunde & InformaticaDynamische simulatie en het wiskunde-onderwijs : verslag van een vooronderzoek / P. van Blokland, D. KokAlgebraic models of smooth manifolds / J. Bochnak, W. KucharzAn isomorphical classification of function spaces of zero dimensional locally compact separable metric spaces / J. Baars, J.A.M. de GrootModality in information systems : a layered approach / H. Weigand, R.P. van de RietOn Borel groups / A.J.M. van EngelenMonitoring in distributed client-server environments / G.D. Drenth ... [et al.]The implementation of the Amsterdam SGML parser / Jos Warmer, Sylvia van EgmondConcurrent evaluation of side-effects / M. de RooyThe bulletin board service : a tool for implementing parallel algorithms / A.J. Schrander, J.W. van Otten, R. van RenesseLinear spaces and admissibility / Jos van der Bijl, Klaas Pieter Hart, Jan van Mill