Sfoglia per Autore  

Opzioni
Mostrati risultati da 51 a 56 di 56
Titolo Data di pubblicazione Autore(i) File
Dynamic Data Structures for Timed Automata Acceptance 1-gen-2022 Grez, A.; Mazowiecki, F.; Pilipczuk, M.; Puppis, G.; Riveros, C.
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 1-gen-2023 Etessami, Kousha; Feige, Uriel; Puppis, Gabriele
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 1-gen-2023 Della Monica, D.; Montanari, A.; Puppis, G.; Sala, P.
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 1-gen-2024 Bringmann, Karl; Grohe, Martin; Puppis, Gabriele; Svensson, Ola
Finite-valued Streaming String Transducers 1-gen-2024 Filiot, Emmanuel; Jecker, Ismaël; Löding, Christof; Muscholl, Anca; Puppis, Gabriele; Winter, Sarah
Finite-valued Streaming String Transducers 1-gen-2025 Filiot, Emmanuel; Jecker, Ismael; Loeding, Christof; Muscholl, Anca; Puppis, Gabriele; Winter, Sarah
Mostrati risultati da 51 a 56 di 56
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile