Travelled to:1 × Canada
1 × Finland
1 × France
1 × Poland
Collaborated with:R.Statman G.D.Penna A.R.Laurenzi S.Orefice A.D.Marco I.Melatti A.Pierantonio
Talks about:calculus (2) rule (2) methodolog (1) interoper (1) scenario (1) diagram (1) develop (1) complet (1) between (1) toward (1)
Person: Benedetto Intrigila
DBLP: Intrigila:Benedetto
Contributed to:
2007
2004
2004
2003Wrote 4 papers:
- TLCA-2007-IntrigilaS #calculus
- The ω-Rule is Π¹₁-Complete in the λβ-Calculus (BI, RS), pp. 178–193.
- LICS-2004-IntrigilaS #calculus
- The ω-Rule is Π⁰₂-Hard in the λβ-Calculus (BI, RS), pp. 202–210.
- SEKE-2004-PennaILO #development
- A Methodology for Scenario Development (GDP, BI, ARL, SO), pp. 7–12.
- FASE-2003-PennaMIMP #diagrams #named #towards #xml
- Xere: Towards a Natural Interoperability between XML and ER Diagrams (GDP, ADM, BI, IM, AP), pp. 356–371.