Towards decidable constructive type theories as practical descriptive and programming languages / Peter J. de BruinTermherschrijfsystemen / J.A. Bergstra, J.W. Klop, A. MiddeldorpSyntax-directed verification of distributed systems / Rob Tristan GerthBackward analysis on higher order functions / G.F. v.d. Hoeven, M. RamaerSpecifying message passing and time-critical systems with temporal logic / Ronald Leo Christiaan KoymansCombining linear time temporal logic descriptions of concurrent computations / Ruurd KuiperFilosofie van de informatica / A. Ollongren, H.J. van den HerikTractatus logico-informaticus : een verhandeling betreffende logische aspecten van de informatica / J.-J.Ch. MeyerSemantics of reactive systems : comparison and full abstraction / Cornelis HuizingOn a ternary bracketing problem from the theory of formal languages / D.C. LeijenhorstA formal power series equation from formula complexity theory / D.C. LeijenhorstUnique normal forms for combinatory logic with parallel conditional : a case study in conditional rewriting / R.C. de VrijerExtended term rewriting systems / Jan Willem Klop, Roel de VrijerHeuristic search in PARLOG using : replicated worker style parallelism / Henri E. BalUnique normal forms for combinatory logic with parallel conditional : a case study in conditional rewriting / Roel de VrijerProblem solving in design: a comparison of three theoriesIncreasing the efficiency of an algorithm for solving the problem M(Y,G) / P. van Schaik, S.M. BaasOn the capacity region for deterministic two-way channels and write-unidirectional memories / Wilhelmina Maria Cornelia Johanna van OverveldCategorical type theory / Bartholomeus Paulus Franciscus JacobsProving termination of parallel programs / K.R. Apt, F.S. de Boer, E.R. OlderogA proof system for process creation / Frank S. de Boer, Pierre AmericaBifurcation of limit cycles in a particular class of quadratic systems / W.T. van Horssen and J.W. ReynPositivity for a strongly coupled elliptic system by Green function estimates / Guido SweersAchievable potential reductions in the method of Kojima et al. in the case of linear programming / C. Roos and J.-Ph. VialReal cubic systems with four line invariants / Robert E. KooijGMRESR : a family of nested GMRES methods / H.A. van der Vorst, C. VuikA simplified proof of Toyama's theorem / J.W. Klop ... [et al.]Modalities for reasoning about knowledge and quantities / Wiebe van der HoekAn experiment in the syntactical analysis of English noun phrases / Gerrit F. van der HoevenA simplified proof of Toyama's theorem / J.W. Klop ... [et al.]Bifurcation of limit cycles in a particular class of quadratic systems with two centres / W.T. van Horssen and R.E. KooijA cumulative default logic based on epistemic states / J.-J.Ch. Meyer, W. van der HoekCounting objects in generalized quantifier theory, modal logic, and knowledge representation / W. van der Hoek, M. de RijkeExpressiveness results for process algebras / F.W. VaandragerSpecifying and proving communication closedness in protocols / Wil Janssen and Job ZwiersAn epistemic logic for defeasible reasoning using a meta-level architecture metaphor / J.-J.Ch. Meyer, W. van der HoekAspects of algorithms and complexity / Johannes Theodorus TrompA comparison of Ward & Mellor's transformation schema with state & activitycharts / by J. Peleska, C. Huizing and C. PetersohnResource bounded randomness and weakly complete problems / Klaus Ambos-Spies, Sebastiaan A. Terwijn, Zheng XizhongGenericity and measure for exponential time / Klaus Ambos-Spies, Hans-Christian Neis, Sebastiaan A. Terwijn