J. Piris

List of publications from the DBLP Bibliography Server - FAQ

1993

2 J. Piris, María José Ramírez: An Implementation of Equational Constructive Negation. GULP 1993: 143-156

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

1993
2		J. Piris, María José Ramírez: An Implementation of Equational Constructive Negation. GULP 1993: 143-156
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	A. Mora	[1]
3	M. José Ramírez-Quintana (María José Ramírez)	[1] [2]