Context term calculus for rewriting systems

Збережено в:
Бібліографічні деталі
Дата:2018
Автор: P. C. Shevchenko
Формат: Стаття
Мова:Англійська
Опубліковано: 2018
Назва видання:Problems in programming
Онлайн доступ:http://jnas.nbuv.gov.ua/article/UJRN-0000882035
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Library portal of National Academy of Sciences of Ukraine | LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS
_version_ 1859507885162102784
author P. C. Shevchenko
author_facet P. C. Shevchenko
author_sort P. C. Shevchenko
collection Open-Science
first_indexed 2025-07-17T14:50:28Z
format Article
id open-sciencenbuvgovua-26986
institution Library portal of National Academy of Sciences of Ukraine | LibNAS
language English
last_indexed 2025-07-17T14:50:28Z
publishDate 2018
record_format dspace
series Problems in programming
spelling open-sciencenbuvgovua-269862024-02-27T21:46:24Z Context term calculus for rewriting systems P. C. Shevchenko 1727-4907 2018 en Problems in programming http://jnas.nbuv.gov.ua/article/UJRN-0000882035 Article
spellingShingle Problems in programming
P. C. Shevchenko
Context term calculus for rewriting systems
title Context term calculus for rewriting systems
title_full Context term calculus for rewriting systems
title_fullStr Context term calculus for rewriting systems
title_full_unstemmed Context term calculus for rewriting systems
title_short Context term calculus for rewriting systems
title_sort context term calculus for rewriting systems
url http://jnas.nbuv.gov.ua/article/UJRN-0000882035
work_keys_str_mv AT pcshevchenko contexttermcalculusforrewritingsystems