Gianni Aguzzi

Publication Activity (10 Years)

Years Active: 1972-1993
Publications (10 Years): 0

Publications

Gianni Aguzzi, U. Modigliani
Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems. FSTTCS (1993)
Gianni Aguzzi, U. Modigliani
Termination of Logic Programs via Equivalent Rewrite Systems. ILPS (1993)
Gianni Aguzzi, U. Modigliani, M. Cecilia Verri
An Universal Termination Condition for Solving Goals in Equational Languages. CTRS (1990)
Gianni Aguzzi
The Theory of Invertible Algorithms. RAIRO Theor. Informatics Appl. 15 (3) (1981)
Gianni Aguzzi, Francesca Cesarini, Renzo Pinzani, Giovanni Soda, Renzo Sprugnoli
Tree structures handling by APS. Symposium on Programming (1974)
Gianni Aguzzi, Francesca Cesarini, Renzo Pinzani, Giovanni Soda, Renzo Sprugnoli
Towards an Automatic Generation of Interpreters. GI Jahrestagung (1973)
Gianni Aguzzi, Renzo Pinzani, Renzo Sprugnoli
An Algorithmic Approach to the Semantics of Programming Languages. ICALP (1972)