|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Proof, Language, and Interaction, Essays in Honour of Robin Milnerсборник
- Год издания: 2000
- Место издания: The MIT Press
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 2000 Constructively formalizing automata theory
- Naumov P., Constable R., Jackson Paul B., Uribe Juan C.
- в сборнике Proof, Language, and Interaction, Essays in Honour of Robin Milner, место издания The MIT Press, с. 213-238