U. Modigliani

According to our database, U. Modigliani authored at least 3 papers between 1990 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