( en | de | ru )

 

Disambiguierung von "Exibard, Léo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Two-Way Two-Tape Automata.

, , und . DLT, Volume 10396 von Lecture Notes in Computer Science, Seite 147-159. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Plinio Léon Cantón

Juan Léon Villa

Jens Léon

Isabelle Léonard

Vincent Léon

 

Weitere Publikationen von Autoren mit dem selben Namen

Computability of Data-Word Transductions over Different Data Domains., , , und . Log. Methods Comput. Sci., (2022)A Synthesis Tool for Optimal Monitors in a Branching-Time Setting., , , , und . COORDINATION, Volume 13271 von Lecture Notes in Computer Science, Seite 181-199. Springer, (2022)Church Synthesis on Register Automata over Linearly Ordered Data Domains., , und . STACS, Volume 187 von LIPIcs, Seite 28:1-28:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)The Complexity of Transducer Synthesis from Multi-Sequential Specifications., , und . CoRR, (2019)Automatic Synthesis of Systems with Data. (Synthèse Automatique de Systèmes avec Données).. Université libre de Bruxelles, Belgium, (2021)On Computability of Data Word Functions Defined by Transducers., , und . FoSSaCS, Volume 12077 von Lecture Notes in Computer Science, Seite 217-236. Springer, (2020)A Monitoring Tool for Linear-Time μHML., , , , , und . COORDINATION, Volume 13271 von Lecture Notes in Computer Science, Seite 200-219. Springer, (2022)Transducer Synthesis from Universal Register Automata in (N, >)., , und . CoRR, (2021)Register Games on Infinite Ordered Data Domains., , und . CoRR, (2020)Synthesis of Data Word Transducers., , und . CONCUR, Volume 140 von LIPIcs, Seite 24:1-24:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)