IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 53
Titolo Data di pubblicazione Autore(i) File
Regular languages of words over countable linear orderings 1-gen-2011 Carton, O.; Colcombet, T.; Puppis, G.
Bounded repairability for regular tree languages 1-gen-2012 Puppis, G.; Riveros, C.; Staworko, S.
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 1-gen-2013 Puppis, G.; Villa, T.
Which DTDs are streaming bounded repairable? 1-gen-2013 Bourhis, P.; Puppis, G.; Riveros, C.
Walking on data words 1-gen-2013 Manuel, A.; Muscholl, A.; Puppis, G.
Bounded repairability of word languages 1-gen-2013 Benedikt, M.; Puppis, G.; Riveros, C.
Decidability of the interval temporal logic AA*BB* over the rationals 1-gen-2014 Montanari, Angelo; Puppis, G; Sala, P.
The per-character cost of repairing word languages 1-gen-2014 Benedikt, M.; Puppis, G.; Riveros, C.
One-way definability of sweeping transducers 1-gen-2015 Baschenis, F.; Gauwin, O.; Muscholl, A.; Puppis, G.
The complexity of higher-order queries 1-gen-2015 Benedikt, M.; Puppis, G.; Vu, H.
Which XML Schemas are Streaming Bounded Repairable? 1-gen-2015 Bourhis, P.; Puppis, G.; Riveros, C.
Logics with rigidly guarded data tests 1-gen-2015 Colcombet, T.; Ley, C.; Puppis, G.
Games, Automata, Logic, and Formal Verification (GandALF 2013) - Special Issue of the journal Information and Computation, Editorial pp. 1-2 1-gen-2015 Montanari, Angelo; Puppis, Gabriele; Villa, Tiziano
A decidable weakening of compass logic based on cone-shaped cardinal directions 1-gen-2015 Montanari, A.; Puppis, G.; Sala, P.
Minimizing resources of sweeping and streaming string transducers 1-gen-2016 Baschenis, F.; Gauwin, O.; Muscholl, A.; Puppis, G.
Bounded repairability for regular tree languages 1-gen-2016 Bourhis, P.; Puppis, G.; Riveros, C.; Staworko, S.
Querying Visible and Invisible Information 1-gen-2016 Benedikt, M.; Bourhis, P.; Ten Cate, B.; Puppis, G.
Walking on Data Words 1-gen-2016 Manuel, A.; Muscholl, A.; Puppis, G.
Untwisting two-way transducers in elementary time 1-gen-2017 Baschenis, F.; Gauwin, O.; Muscholl, A.; Puppis, G.
On the decomposition of finite-valued streaming string transducers 1-gen-2017 Gallot, P.; Muscholl, A.; Puppis, G.; Salvati, S.
Mostrati risultati da 21 a 40 di 53
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