Department of Mathematics and Computer Science

Research Output

Filter
Other contribution
1996

WF227/AvG136: Exercises in calculating

Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF228/AvG137: Playing with p and p. p

Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF229/AvG139: Richard Bird's typewriter problem

Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF230: A simple class of self-stabilizing system

Feijen, W. H. J., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF231/AvG140: On a method for the formal design of multiprograms

Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF232: Predicate logic vs predicate calculus

Feijen, W. H. J., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF233/AvG141: More about unique solutions and well-foundedeness courtesy Rutger M. Dijkstra

Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF244: On the initialization protocol

Feijen, W. H. J., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Working with Permutation Groups

Cuypers, F. G. M. T. & Sterk, H. J. M., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output