Travelled to:1 × Italy
1 × Sweden
1 × United Kingdom
Collaborated with:A.Brogi F.Turini
Talks about:program (3) compos (2) logic (2) meta (2) specialis (1) composit (1) languag (1) general (1) renam (1) level (1)
Person: Simone Contiero
DBLP: Contiero:Simone
Contributed to:
199819961994Wrote 3 papers:
- LOPSTR-1998-BrogiCT #source code #using
- The Use of Renaming in Composing General Programs (AB, SC, FT), pp. 124–142.
- LOPSTR-1996-BrogiC #composition #logic programming #source code
- Specialising Meta-level Compositions of Logic Programs (AB, SC), pp. 275–294.
- LOPSTR-1994-BrogiC #logic programming #metalanguage #source code
- Gödel as a Meta-Language for Composing Logic Programs (AB, SC), pp. 377–394.