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