Ж. вычисл. матем. и матем. физ.,
1970, том 10, номер 1, страницы 132–145
(Mi zvmmf6991)
|
Граф-схемы с ассоциативным исчислением
В. А. Тузов Ленинград
Аннотация:
Предлагается несколько способов решения проблемы распознавания эквивалентности для граф-схем. Библ. 1 назв.
УДК:
519.95
MSC: Primary
03F65; Secondary
68Q99 Поступила в редакцию: 24.07.1968
© , 2024
Полный текст:
PDF файл (1505 kB)