,

Synthesis of Data Word Transducers.

, , и .
CONCUR, том 140 из LIPIcs, стр. 24:1-24:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии