Вы здесь

Iranzo P. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On the Correctness of the Factoring Transformation 2002 Iranzo P. J. Lecture Notes in Computer Science 25.10.2002
СТ Analysing Definitional Trees: Looking for Determinism 2004 Iranzo P. J., Lamus C. V. Lecture Notes in Computer Science 07.05.2004