Ferdinando Manzo

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1995

2 María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Unsatisfiability for Equational Logic Programming. J. Log. Program. 22(3): 223-254 (1995)

1992

1 María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Inconsistency for Incremental Equational Logic Programming. PLILP 1992: 443-457

	1995
2		María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Unsatisfiability for Equational Logic Programming. J. Log. Program. 22(3): 223-254 (1995)
	1992
1		María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Inconsistency for Incremental Equational Logic Programming. PLILP 1992: 443-457

Coauthor Index