Mark Dawson

Affiliations:

According to our database¹, Mark Dawson authored at least 4 papers between 1991 and 1994.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1994

Towards a GeoZ Toolkit.

[BibT_eX]

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993

Animating LU.

[BibT_eX]

Proceedings of the Theory and Formal Methods 1993, 1993

1992

A Generic Logic Environment.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

A generic logic environment.

[BibT_eX]

[DOI]

PhD thesis, 1991