Calculating With Pointer Structures (Extended Abstract)

Bernhard Möller. Calculating With Pointer Structures (Extended Abstract). In Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia. pages 113-122, 1997.

Abstract

Abstract is missing.