Lena Magnusson

According to our database1, Lena Magnusson authored at least 2 papers between 1993 and 1995.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1995
An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification.
Proceedings of the Types for Proofs and Programs, 1995

1993
The ALF Proof Editor and Its Proof Engine.
Proceedings of the Types for Proofs and Programs, 1993


  Loading...