A. Dodd

发表

SOME GENERIC MODELS

A. Dodd, 1982 .

The Core Model: BIBLIOGRAPHY

A. Dodd, 1982 .

The Core Model: PRELIMINARIES

A. Dodd, 1982 .

Applications of K

A. Dodd, A. Dodd, 1982 .

The Core Model: INDEX OF DEFINITIONS

A. Dodd, 1982 .

The Core Model: O#

A. Dodd, 1982 .

An Advanced logic programming languages

A. Dodd, 1990 .

The Core Model: Iterability

A. Dodd, 1982 .