Lena Magnusson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1995

2 Lena Magnusson: An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification. TYPES 1995: 183-200

1993

1 Lena Magnusson, Bengt Nordström: The ALF Proof Editor and Its Proof Engine. TYPES 1993: 213-237

	1995
2		Lena Magnusson: An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification. TYPES 1995: 183-200
	1993
1		Lena Magnusson, Bengt Nordström: The ALF Proof Editor and Its Proof Engine. TYPES 1993: 213-237

Coauthor Index

1 Bengt Nordström [1]