G. Aguzzi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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 U. Modigliani [1] [2] [3]

2 M. Cecilia Verri [1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page