Dag Diesen

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1998
Developing New ASM-tools.
Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

1988
Lifting of the Ditchmarker Refinement for Connection Method to First Order Logic.
Proceedings of the First Scandinavian Conference on Artificial Intelligence 1988, 1988


  Loading...