A strange application of Kolmogorov complesity, A. Shen
@TechReport{cs-r9328,
  author = 	 "A. Shen",
  title = 	 "A strange application of Kolmogorov complesity",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  number =	 "Report CS-R9328"
}

Relations between varieties of Kolmogorov complexities, V.A. Uspensky, A. Shen
@TechReport{cs-r9329,
  author = 	 "V.A. Uspensky, A. Shen",
  title = 	 "Relations between varieties of Kolmogorov
		  complexities",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  number =	 "Report CS-R9329"
}

ARM / Absract rewriting machine, J.F.Th. Kamperman, H.R. Walters
@TechReport{cs-r9330,
  author = 	 "J.F.Th. Kamperman, H.R. Walters",
  title = 	 "ARM / Absract rewriting machine",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  number =	 "Report CS-R9330"
}

More problems in rewriting, N. Dershowitz, J.-P. Jouannaud, J.W. Klap
@TechReport{cs-r-9332,
  author = 	 "N. Dershowitz, J.-P. Jouannaud, J.W. Klap",
  title = 	 "More problems in rewriting",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  number =	 "Report CS-R9332"
}

Bisimulations and predicate logic, R.T.P. Fernando
@TechReport{cs-r9333,
  author = 	 "R.T.P. Fernando",
  title = 	 "Bisimulations and predicate logic",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  number =	 "Report CS-R9333"
}

Thermodynamics of computation and information distance, C.H. Bennett, P. G\'acs, M. Li, P.M.B. Bit\'anyi, W.H. Zurek
@TechReport{cs-r9341,
  author = 	 "C.H. Bennett, P. G{\'{a}}cs, M. Li, P.M.B.
		  Bit{\'{a}}nyi, W.H. Zurek",
  title = 	 "Thermodynamics of computation and information
		  distance",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  key =		 "C.H. Bennett, P. Gacs, M. Li, P.M.B. Vitanyi, W.H.
		  Zurek",
  number =	 "Report CS-R9341"
}

The Boltzmann entropy and randomness tests, P. G\'acs
@TechReport{cs-r9342,
  author = 	 "P. G{\'{a}}cs",
  title = 	 "The Boltzmann entropy and randomness tests",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  key =          "P. Gacs",
  number =	 "Report CS-R9342"
}

Event structures and orthogonal term graph rewriting, J.R. Kennaway, J.W. Klop, M.R. Sleep, F.-J. de Vries
@TechReport{cs-r9347,
  author = 	 "J.R. Kennaway, J.W. Klop, M.R. Sleep, F.-J. de Vries",
  title = 	 "Event structures and orthogonal term graph rewriting",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  number =	 "Report CS-R9347"
}

Higher order recursive program schemes are turing incomplete, Z. Khasidashvili
@TechReport{cs-r9348,
  author = 	 "Z. Khasidashvili",
  title = 	 "Higher order recursive program schemes are turing
		  incomplete",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  number =	 "Report CS-R9348"
}

Perpetual reductions in orthogonal combinatory reduction systems, Z. Khasidashvili
@TechReport{cs-r9349,
  author = 	 "Z. Khasidashvili",
  title = 	 "Perpetual reductions in orthogonal combinatory
		  reduction systems",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  number =	 "Report CS-R9349"
}

Comparing curried and uncurried rewriting, J.R. Kennaway, J.W. Klop, M.R. Sleep, F.-J. de Vries
@TechReport{cs-r9350,
  author = 	 "J.R. Kennaway, J.W. Klop, M.R. Sleep, F.-J. de Vries",
  title = 	 "Comparing curried and uncurried rewriting",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  number =	 "Report CS-R9350"
}

Operational semantics, bibimulations and logical complexity, R.T.P. Rernando
@TechReport{cs-r9355,
  author = 	 "R.T.P. Rernando",
  title = 	 "Operational semantics, bibimulations and logical
		  complexity",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  number =	 "Report CS-R9355"
}

Reasoning about proglog programs : from modes through types to assertions, K.R. Apt, E. Marchiori
@TechReport{cs-r9358,
  author = 	 "K.R. Apt, E. Marchiori",
  title = 	 "Reasoning about proglog programs : from modes
		  through types to assertions",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  number =	 "Report CS-R9358"
}

Comparing combinatory reduction systmes and higher-order rewrite systems, V.van Oostrom, F. van Raamsdonk
@TechReport{cs-r9361,
  author = 	 "V.van Oostrom, F. van Raamsdonk",
  title = 	 "Comparing combinatory reduction systmes and
		  higher-order rewrite systems",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  number =	 "Report CS-R9361"
}

Combinatory reduciton systems : introduction and survey, J.W. Klop, V. van Oostrom, F. van Raamsdonk
@TechReport{cs-r9362,
  author = 	 "J.W. Klop, V. van Oostrom, F. van Raamsdonk",
  title = 	 "Combinatory reduciton systems : introduction and
		  survey",
  institution =  "Centrum voor Wiskunde en Informatica",
  year = 	 1993,
  number =	 "Report CS-R9362"
}