Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 35
Titolo Data di pubblicazione Autore(i) File
Towards a model of corecursion with default 1-gen-2016 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Extending coinductive logic programming with co-facts 1-gen-2017 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Generalizing inference systems by coaxioms 1-gen-2017 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Reasoning on Divergent Computations with Coaxioms 1-gen-2017 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
:DRHOP, A Platform Proposal for Online Charity 1-gen-2018 Dagnino, Francesco; Ribaudo, Marina
Modeling Infinite Behaviour by Corules 1-gen-2018 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Flexible coinduction for infinite behaviour 1-gen-2018 Dagnino, F.
A formalism for specification of Java API interfaces 1-gen-2018 Ancona, D.; Dagnino, F.; Franceschini, L.
Corecursive featherweight Java revisited 1-gen-2019 Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D.
Coaxioms: Flexible coinductive definitions by inference systems 1-gen-2019 Dagnino, F.
A framework for big-step semantics 1-gen-2019 Dagnino, F.
An inductive abstract semantics for coFJ 1-gen-2020 Barbieri, P.; Dagnino, F.; Zucca, E.
Soundness Conditions for Big-Step Semantics 1-gen-2020 Dagnino, F.; Bono, V.; Zucca, E.; Dezani-Ciancaglini, M.
Flexible coinductive logic programming 1-gen-2020 Dagnino, F.; Ancona, D.; Zucca, E.
Sound Regular Corecursion in coFJ 1-gen-2020 Ancona, Davide; Barbieri, Pietro; Dagnino, Francesco; Zucca, Elena
A big step from finite to infinite computations 1-gen-2020 Ancona, D.; Dagnino, F.; Rot, J.; Zucca, E.
Asynchronous Global Types in Co-logic Programming 1-gen-2021 Bianchini, R.; Dagnino, F.
Doctrines, modalities and comonads 1-gen-2021 Dagnino, Francesco; Rosolini, Giuseppe
Deconfined Global Types for Asynchronous Sessions 1-gen-2021 Dagnino, F.; Giannini, P.; Dezani-Ciancaglini, M.
Flexible coinduction in Agda 1-gen-2021 Ciccone, L.; Dagnino, F.; Zucca, E.
Mostrati risultati da 1 a 20 di 35
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