Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | английский |
| Опубликовано: |
Berlín, Alemania :
Springer,
2007, c2007
|
| Серии: | (Lecture Notes in Computer Science)
|
| Online-ссылка: | Ver documento en línea |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы: Rewriting, Computation and Proof :
- Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings /
- Computation, Cooperation, and Life : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday /
- Graph Theory, Computational Intelligence and Thought : Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday /
- Computing with New Resources : Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /
- Rainbow of Computer Science : Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday /
- Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /