Gianni Aguzzi

According to our database, Gianni Aguzzi authored at least 7 papers between 1972 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1993

Termination of Logic Programs via Equivalent Rewrite Systems.

Gianni Aguzzi, U. Modigliani

Proceedings of the Logic Programming, 1993

Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems.

Gianni Aguzzi, U. Modigliani

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

1990

An Universal Termination Condition for Solving Goals in Equational Languages.

Gianni Aguzzi, U. Modigliani, M. Cecilia Verri

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1981

The Theory of Invertible Algorithms.

Gianni Aguzzi

RAIRO Theor. Informatics Appl., 1981

1974

Tree structures handling by APS.

Gianni Aguzzi, Francesca Cesarini, Renzo Pinzani, Giovanni Soda, Renzo Sprugnoli

Proceedings of the Programming Symposium, 1974

1973

Towards an Automatic Generation of Interpreters.

Gianni Aguzzi, Francesca Cesarini, Renzo Pinzani, Giovanni Soda, Renzo Sprugnoli

Proceedings of the Gesellschaft für Informatik e.V., 1973

1972

An Algorithmic Approach to the Semantics of Programming Languages.

Gianni Aguzzi, Renzo Pinzani, Renzo Sprugnoli

Proceedings of the Automata, 1972