From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Computability of Data-Word Transductions over Different Data Domains.

L. Exibard, E. Filiot, N. Lhote, и P. Reynier. Log. Methods Comput. Sci., (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Nathan ben-Nathan

Hans Nathan

Siegfried Nathan

Nathan Rosenbaum

Nathan Schnurr

Другие публикации лиц с тем же именем

On Canonical Models for Rational Functions over Infinite Words.E. Filiot, O. Gauwin, N. Lhote, и A. Muscholl. FSTTCS, том 122 из LIPIcs, стр. 30:1-30:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)A Robust Class of Linear Recurrence Sequences.C. Barloy, N. Fijalkow, N. Lhote, и F. Mazowiecki. CSL, том 152 из LIPIcs, стр. 9:1-9:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Synthesis of Computable Regular Functions of Infinite Words.V. Dave, E. Filiot, S. Krishna, и N. Lhote. CONCUR, том 171 из LIPIcs, стр. 43:1-43:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Uniformisation Gives the Full Strength of Regular Languages.N. Lhote, V. Michielini, и M. Skrzypczak. MFCS, том 138 из LIPIcs, стр. 61:1-61:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Minimizing Cost Register Automata over a Field.Y. Benalioua, N. Lhote, и P. Reynier. MFCS, том 306 из LIPIcs, стр. 23:1-23:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Weighted Automata and Expressions over Pre-Rational Monoids.N. Baudru, L. Dando, N. Lhote, B. Monmege, P. Reynier, и J. Talbot. CSL, том 216 из LIPIcs, стр. 6:1-6:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Computability of Data-Word Transductions over Different Data Domains.L. Exibard, E. Filiot, N. Lhote, и P. Reynier. Log. Methods Comput. Sci., (2022)Pebble Minimization of Polyregular Functions.N. Lhote. LICS, стр. 703-712. ACM, (2020)Definability and synthesis of transductions. (Définissabilité et synthèse de transductions).N. Lhote. University of Bordeaux, France, (2018)Uniformisation of Regular Relations in First-Order Logic with Two Variables.N. Lhote, V. Michielini, и M. Skrzypczak. LICS, стр. 54:1-54:13. ACM, (2024)

BibSonomy

Disambiguation