U. Modigliani

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1993

3 G. Aguzzi, U. Modigliani: Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems. FSTTCS 1993: 114-124

2 G. Aguzzi, U. Modigliani: Termination of Logic Programs via Equivalent Rewrite Systems. ILPS 1993: 634

1990

1 G. Aguzzi, U. Modigliani, M. Cecilia Verri: An Universal Termination Condition for Solving Goals in Equational Languages. CTRS 1990: 418-423

1993
3		G. Aguzzi, U. Modigliani: Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems. FSTTCS 1993: 114-124
2		G. Aguzzi, U. Modigliani: Termination of Logic Programs via Equivalent Rewrite Systems. ILPS 1993: 634
1990
1		G. Aguzzi, U. Modigliani, M. Cecilia Verri: An Universal Termination Condition for Solving Goals in Equational Languages. CTRS 1990: 418-423

Coauthor Index

1 G. Aguzzi [1] [2] [3]

2 M. Cecilia Verri [1]