Travelled to:1 × USA
Collaborated with:O.Laurent G.Guerrieri L.Pellissier
Talks about:obsession (1) character (1) structur (1) glueabil (1) resourc (1) complex (1) taylor (1) semant (1) invert (1) expans (1)
Person: Lorenzo Tortora de Falco
DBLP: Falco:Lorenzo_Tortora_de
Contributed to:
2006
2020Wrote 2 papers:
- LICS-2006-LaurentF #bound #clique #complexity #semantics
- Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity (OL, LTdF), pp. 179–188.
- CSL-2020-GuerrieriPF
- Glueability of Resource Proof-Structures: Inverting the Taylor Expansion (GG, LP, LTdF), p. 18.