dblp.uni-trier.dewww.uni-trier.de

J. Piris

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)