A. Mora

List of publications from the DBLP Bibliography Server - FAQ

1993

1 A. Mora, J. Piris, María José Ramírez, Moreno Falaschi: A Prototype System for Equational Constructive Negation. ILPS 1993: 638

1993
1		A. Mora, J. Piris, María José Ramírez, Moreno Falaschi: A Prototype System for Equational Constructive Negation. ILPS 1993: 638

Coauthor Index

1	Moreno Falaschi	[1]
2	J. Piris	[1]
3	M. José Ramírez-Quintana (María José Ramírez)	[1]