Centrum Wiskunde & Informatica

From binary to grey-level morphology Tech Report

H.J.A.M. Heijmans (Henk)

January 1990
From failure to succes: comparing a denotational and a declarative semantics for Horn Clause Logic Tech Report

F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)

January 1990
Comparative semantics for a parallel contextual programming language Tech Report

J.-M. Jacquet (Jean-Marie) and L. Monteiro (Luís)

January 1990
More computations on Gauss' lattice point problem Tech Report

J.T. Tromp (John)

January 1990
Proving termination of parallel programs Tech Report

K.R. Apt (Krzysztof), F.S. de Boer (Frank) and E.R. Olderog (Ernst-Rüdiger)

January 1990
Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond Tech Report

J.W. Klop (Jan Willem)

January 1990
Computing boolean functions on anonymous networks Tech Report

E. Kranakis (Evangelos), D.D.M. Krizanc and J. van den Berg (Rob)

January 1990
Acyclic programs : extended abstract Tech Report

K.R. Apt (Krzysztof) and M.A. Bezem

January 1990

Previous

Next