U. Modigliani

Publication Activity (10 Years)

Years Active: 1990-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)