510.565(063)
R48

   
    Rewriting techniques and applications [Electronic resource] : 20th international conference, RTA 2009 Brasi­lia, Brazil, June 29 - July 1, 2009 : proceedings / ed. R. Treinen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5595). - ISBN 978-3-642-02348-4 : Б. ц.

ГРНТИ
27.03.17
УДК
510.565(063)

Кл.слова (ненормированные):
системы переписывания термов -- теория вычислимости -- формальные грамматики -- конференции

См. : Текст издания

Доп.точки доступа:
Treinen, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет