dblp.uni-trier.dewww.uni-trier.de

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

Coauthor Index

1G. Aguzzi [1] [2] [3]
2M. Cecilia Verri [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)