Coronary leukocyte activation as predictor of cardiovascular events in young subjects: five year follow-up data von de Vries, M.A, Alipour, A, Klop, B, Njo, T.L, Janssen, J.W, Liem, A.H, Birnie, E, Cabezas, M. Castro

Volltext

Postprandial glucose-dependent leukocyte activation in patients with different ranges of insulin sensitivity von de Vries, M.A, Alipour, A, Klop, B, van de Geijn, G.J.M, Janssen, J.W, Njo, T.L, Rietveld, A.P, Liem, A.H, de Herder, W.W, Cabezas, M. Castro

Volltext

Preface von Broer, H.W., Klop, J.W., Tijdeman, R., Wiegerinck, J.J.O.O.

Volltext

Transfinite Reductions in Orthogonal Term Rewriting Systems von Kennaway, R., Klop, J.W., Sleep, R., Devries, F.J.

Volltext

CONCUR '90 Theories of Concurrency: Unification and Extension: Amsterdam, The Netherlands, August 27–30, 1990 Proceedings von Baeten, J. C. M, Klop, J. W

Volltext

Lambda-calculus, types and models von Klop, J.W.

Volltext

AT1 Receptor Gene Polymorphisms in relation to Postprandial Lipemia von Elte, J. W. F., Cabezas, Manuel Castro, Klop, Boudewijn, Carmena, R., Ascaso, J. F., Real, J. T., van den Berg, T. M., Rietveld, A. P., Chaves, J.

Volltext

Infinitary lambda calculus von Kennaway, J.R., Klop, J.W., Sleep, M.R., de Vries, F.J.

Volltext

Automatic Sequences and Zip-Specifications von Grabmayer, C.A, Endrullis, J, Hendriks, D, Klop, J.W, Moss, L.S

Volltext

Algebra of communicating processes with abstraction von Bergstra, J.A., Klop, J.W.

Volltext

Productivity of stream definitions von Endrullis, J, Grabmayer, C.A, Hendriks, D, Isihara, A, Klop, J.W

Volltext

Decidability of bisimulation equivalence for processes generating context-free languages von Bergstra, J.A, Baeten, J.C.M, Klop, J.W

Volltext

Process Theory based on Bisimulation Semantics von Bergstra, J.A, Klop, J.W

Volltext

ACP - a universal axiom sytem for process specification von Bergstra, J.A, Klop, J.W

Volltext

Unique normal forms for lambda calculus with surjective pairing von Klop, J.W., de Vrijer, R.C.

Volltext

Verification of an alternating bit protocol by means of process algebra von Bergstra, J.A, Klop, J.W

Volltext

Vicious circles in rewriting systems von Ketema, J, Klop, J.W, Oostrom, V. van

Volltext bestellen

Term rewriting systems with priorities von Bergstra, J.A, Baeten, J.C.M, Klop, J.W

Volltext

Conditional rewrite rules: Confluence and termination von Bergstra, J.A., Klop, J.W.

Volltext

Term rewriting systems with rule priorities von Bergstra, J.A, Baeten, J.C.M, Klop, J.W, Weijland, W.P

Volltext