| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 5295826 (Why is no real title available?)
| 2008-07-01 | Paper |
scientific article; zbMATH DE number 978239 (Why is no real title available?)
| 1997-04-21 | Paper |
scientific article; zbMATH DE number 13471 (Why is no real title available?)
| 1992-06-25 | Paper |
scientific article; zbMATH DE number 13470 (Why is no real title available?)
| 1992-06-25 | Paper |
On conservative extensions of syntax in system development
Theoretical Computer Science | 1991-01-01 | Paper |
Denotational engineering
Science of Computer Programming | 1989-01-01 | Paper |
A guided tour of the mathematics of MetaSoft '88
Information Processing Letters | 1988-01-01 | Paper |
MetaSoft primer. Towards a metalanguage for applied denotational semantics
Lecture Notes in Computer Science | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3812929 (Why is no real title available?)
| 1983-01-01 | Paper |
On the Development of Correct Specified Programs
IEEE Transactions on Software Engineering | 1981-01-01 | Paper |
The clean termination of iterative programs
Acta Informatica | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3628354 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3628340 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3633676 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3633677 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3583255 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3562460 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3558929 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3566121 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3532499 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3514951 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3483551 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3464805 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3415371 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3471568 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3490448 (Why is no real title available?)
| 1972-01-01 | Paper |
Addressless Units for Carrying Out Loop-Free Computations
Journal of the ACM | 1972-01-01 | Paper |
Equational languages
Information and Control | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3376694 (Why is no real title available?)
| 1972-01-01 | Paper |
scientific article; zbMATH DE number 3376695 (Why is no real title available?)
| 1972-01-01 | Paper |
scientific article; zbMATH DE number 3359794 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3391941 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3351209 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3371622 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3391940 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3311407 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3317752 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3317753 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3307193 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3272865 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3262070 (Why is no real title available?)
| 1966-01-01 | Paper |
Formalisation of Parenthesis‐Free Languages
Mathematical Logic Quarterly | 1966-01-01 | Paper |
On the Notion of Process
Mathematical Logic Quarterly | 1965-01-01 | Paper |
