Вы здесь
Magnusson L.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification | 1996 | Magnusson L. | Lecture Notes in Computer Science | 23.11.1996 | |||
| СТ | The ALF Proof Editor and Its Proof Engine | 1994 | Magnusson L., Nordstrom B. | Lecture Notes in Computer Science | 21.07.1994 |