Volver a los detalles del artÃculo
A deductive calculus for conditional equational systems with built-in predicates as premises
Descargar
Descargar PDF