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.

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

1993

Animating LU.

Proceedings of the Theory and Formal Methods 1993, 1993

1992

A Generic Logic Environment.

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

A generic logic environment.

[DOI]

PhD thesis, 1991