Hans Bruun

According to our database, Hans Bruun authored at least 4 papers between 1991 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2009

Distributive Lattice-Structured Ontologies.

Hans Bruun, Dion Coumans, Mai Gehrke

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

1991

On Type Checking in VDM and Related Consistency Issues.

Flemming M. Damm, Bo Stig Hansen, Hans Bruun

Proceedings of the VDM '91, 1991

The VDM-SL Editor and Consistency Checker.

Flemming M. Damm, Hans Bruun, Bo Stig Hansen

Proceedings of the VDM '91, 1991

An Approach to the Static Semantics of VDM-SL.

Hans Bruun, Bo Stig Hansen, Flemming M. Damm

Proceedings of the VDM '91, 1991