Вы здесь
Newey M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | A Metalanguage for Interactive Proof in LCF | 1977 | Gordon M., Milner R., Morris L., Newey M., Wadsworth C. | Univ.Edinburgh | 20.06.1995 | |||
| СТ | Supporting Coarse and Fine Grain Parallelism in an Extension of ML | 1994 | Bailey P., Newey M., Sissky D., Stanton R. | Lecture Notes in Computer Science | 22.11.1994 | |||
| СТ | Implementing ML on Distributed Memory Multiprocessors | 1993 | Bailey P., Newey M. | SIGPLAN Notices | 01.03.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Theorem Proving in Higher Order Logics: Proc./11th Intern. Conf., TPHOLs 98. Canberra, Australia, September-October 1998 | 1998 | Lecture Notes in Computer Science |
|
15.10.1998 |