Luigia Aiello

Publication Activity (10 Years)

Years Active: 1974-1986
Publications (10 Years): 0

Publications

Luigia Aiello, Carlo Cecchi, Dario Sartini
Representation and use of metaknowledge. Proc. IEEE 74 (10) (1986)
Luigia Aiello, Daniele Nardi, Maurizio Panti
Modeling the office structure: A first step towards the Office Expert System. COCS (1984)
Luigia Aiello, Giuseppe Attardi, Gianfranco Prini
Towards a More Declarative Programming Style. Formal Description of Programming Concepts (1977)
Luigia Aiello, Mario Aiello
Proving program correctness in L. C. F.. Symposium on Programming (1974)