Mayoh, Brian H.
-
DAIMI Report Series Nr. 126 (1980): PB-126 The Meaning of Logical Programs - Articles
The Meaning of Logical Programs
Resumé PDF (English) -
DAIMI Report Series Nr. 12 (1973): PB-12 Mathematical Models for Cellular Organisms - Articles
Mathematical Models for Cellular Organisms
Resumé PDF (English) -
DAIMI Report Series Nr. 15 (1973): PB-15 Open House in Unusual Automata Theory, January 1972 - Articles
Open House in Unusual Automata Theory, January 1972
Resumé PDF (English) -
DAIMI Report Series Nr. 89 (1978): PB-89 Data Types as Functions - Articles
Data Types as Functions
Resumé PDF (English) -
DAIMI Report Series Nr. 90 (1978): PB-90 Attribute Grammars and Mathematical Semantics - Articles
Attribute Grammars and Mathematical Semantics
Resumé PDF (English) -
DAIMI Report Series Nr. 103 (1979): PB-103 Parallelism in ADA: Program Design and Meaning - Articles
Parallelism in ADA: Program Design and Meaning
Resumé PDF (English) -
DAIMI Report Series Nr. 173 (1984): PB-173 Comparative Semantics of Programming Languages - Articles
Comparative Semantics of Programming Languages
Resumé PDF (English) -
DAIMI Report Series Nr. 177 (1984): PB-177 Kernel Languages - Articles
Kernel Languages
Resumé PDF (English) -
DAIMI Report Series Nr. 191 (1985): PB-191 Galleries and Institutions - Articles
Galleries and Institutions
Resumé PDF (English) -
DAIMI Report Series Nr. 6 (1972): PB-6 Virtual Programming - Articles
Virtual Programming
Resumé PDF (English) -
DAIMI Report Series Nr. 207 (1986): PB-207 Free Blackboards and Anarchic Communities of Experts - Articles
Free Blackboards and Anarchic Communities of Experts
Resumé PDF (English) -
DAIMI Report Series Nr. 484 (1994): PB-484 Patterns, Graphs, and DNA - Articles
Patterns, Graphs and DNA
Resumé PDF (English) -
DAIMI Report Series Nr. 157 (1983): PB-157 Program Models: Meaning and Proof - Articles
Program Models: Meaning and Proof
Resumé PDF (English) -
DAIMI Report Series Nr. 162 (1983): PB-162 A Computational Model for ADA and other concurrent languages - Articles
A Computational Model for ADA and other concurrent languages
Resumé PDF (English) -
DAIMI Report Series Nr. 304 (1990): PB-304 Graph Grammars for Knowledge Representation - Articles
Graph Grammars for Knowledge Representation
Resumé PDF (English) -
DAIMI Report Series Nr. 586 (2008): PB-586 Process Grammar and Process History for 2D Objects - Articles
Process grammar and process history for 2D objects
Resumé PDF (English) -
DAIMI Report Series Nr. 223 (1987): PB-223 Graphics and Their Grammars - Articles
Graphics and Their Grammars
Resumé PDF (English)