Documents

E. Doberkat, U. Gutenbeil, W. Hasselbring. SETL/E Sprachbeschreibung. March 1990. by Paul McJones — last modified 2021-09-24 14:39

E. Doberkat, U. Gutenbeil, W. Hasselbring. SETL/E Sprachbeschreibung. Technical Report Number 01-90, Universiät Essen, Version 0.1, March 1990.

Ernst-Erich Doberkat. A proposal for integrating persistence into the prototyping language SETL/E. April 1990. by Paul McJones — last modified 2021-09-24 14:49

Ernst-Erich Doberkat. A proposal for integrating persistence into the prototyping language SETL/E. Technischer Bericht (technical report) 02-90, University of Essen Computer Science / Software Engineering, April 1990.

W. Hasselbring. Translating a subset of SETL/E into SETL2. January 1991. by Paul McJones — last modified 2021-09-24 17:10

W. Hasselbring. Translating a subset of SETL/E into SETL2. Technischer Bericht (technical report) 02-91, University of Essen Computer Science / Software Engineering, January 1991.

J.-P. Keller. Cantor: a Tutorial and a User's Guide (prototyping, set theory and all that). Technical report, Kepler, Paris, December 1994. Two volumes. Volume I: a Cantor Tutorial. by Paul McJones — last modified 2022-01-24 13:24

J.-P. Keller. Cantor: a Tutorial and a User's Guide (prototyping, set theory and all that). Technical report, Kepler, Paris, December 1994. Two volumes. Volume I: a Cantor Tutorial.

J.-P. Keller. Cantor: a Tutorial and a User's Guide (prototyping, set theory and all that). Technical report, Kepler, Paris, December 1994. Two volumes. Volume II: a Cantor User's Guide. by Paul McJones — last modified 2022-01-24 13:25

J.-P. Keller. Cantor: a Tutorial and a User's Guide (prototyping, set theory and all that). Technical report, Kepler, Paris, December 1994. Two volumes. Volume II: a Cantor User's Guide.