|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Representing Worms as a term rewriting systemтезисы доклада
- Автор: Beklemishev L.
- Сборник: Logic, combinatorics and independence results
- Серия: Oberwolfach Report
- Том: 52
- Тезисы
- Год издания: 2006
- Место издания: Mathematisches Forschungsinstitut Oberwolfach
- Первая страница: 7
- Последняя страница: 9
- Добавил в систему: Беклемишев Лев Дмитриевич