J. Piris

According to our database, J. Piris authored at least 2 papers in 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1993

A Prototype System for Equational Constructive Negation.

A. Mora, J. Piris, María José Ramírez, Moreno Falaschi

Proceedings of the Logic Programming, 1993

An Implementation of Equational Constructive Negation.

J. Piris, María José Ramírez

Proceedings of the 8th Italian Conference on Logic Programming, 1993