| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 6296809 (Why is no real title available?) | 2014-05-19 | Paper |
My Friend Joseph Goguen
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
| scientific article; zbMATH DE number 1696614 (Why is no real title available?) | 2002-07-22 | Paper |
Explicit environments
Fundamenta Informaticae | 2001-04-17 | Paper |
| scientific article; zbMATH DE number 1497860 (Why is no real title available?) | 2001-03-05 | Paper |
Christopher Strachey -- understanding programming languages
Higher-Order and Symbolic Computation | 2000-12-04 | Paper |
| scientific article; zbMATH DE number 1342289 (Why is no real title available?) | 2000-02-28 | Paper |
Institutions: abstract model theory for specification and programming
Journal of the ACM | 1994-11-13 | Paper |
| scientific article; zbMATH DE number 512942 (Why is no real title available?) | 1994-08-21 | Paper |
| scientific article; zbMATH DE number 193170 (Why is no real title available?) | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 65532 (Why is no real title available?) | 1992-09-27 | Paper |
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
Theoretical Computer Science | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 4092734 (Why is no real title available?) | 1988-01-01 | Paper |
Pebble, a kernel language for modules and abstract data types
Information and Computation | 1988-01-01 | Paper |
Inductively defined functions in functional programming languages
Journal of Computer and System Sciences | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3999263 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3997131 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3999258 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3924120 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3911687 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3864486 (Why is no real title available?) | 1984-01-01 | Paper |
Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3880077 (Why is no real title available?) | 1984-01-01 | Paper |
Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3837407 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3821084 (Why is no real title available?) | 1982-01-01 | Paper |
Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique
Acta Informatica | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3714904 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3723838 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3679162 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3614149 (Why is no real title available?) | 1978-01-01 | Paper |
A Transformation System for Developing Recursive Programs
Journal of the ACM | 1977-01-01 | Paper |
A system which automatically improves programs
Acta Informatica | 1976-01-01 | Paper |
Subgraph isomorphism, matching relational structures and maximal cliques
Information Processing Letters | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3566140 (Why is no real title available?) | 1975-01-01 | Paper |
A versatile system for computer-controlled assembly
Artificial Intelligence | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3469999 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3410595 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3344299 (Why is no real title available?) | 1971-01-01 | Paper |
Proving Properties of Programs by Structural Induction
The Computer Journal | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3351182 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3342643 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3338918 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3340786 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3369719 (Why is no real title available?) | 1968-01-01 | Paper |
Computer Design of Electricity Supply Networks by a Heuristic Method
The Computer Journal | 1966-01-01 | Paper |
