Dag Diesen

According to our database, Dag Diesen authored at least 2 papers between 1988 and 1998.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1998

Developing New ASM-tools.

Dag Diesen, Trond Ove Svendsen, Bjørn Thorstensen

Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

1988

Lifting of the Ditchmarker Refinement for Connection Method to First Order Logic.

Dag Diesen

Proceedings of the First Scandinavian Conference on Artificial Intelligence 1988, 1988