Revista colombiana de matematicas, Tome 31 (1997) no. 2, pp. 77-98
Citer cet article
MAURICIO AYALA-RINCÓN. A deductive calculus for conditional equational system with built-in predicates as premisas. Revista colombiana de matematicas, Tome 31 (1997) no. 2, pp. 77-98. http://geodesic.mathdoc.fr/item/RCM_1997_31_2_a2/
@article{RCM_1997_31_2_a2,
author = {MAURICIO AYALA-RINC\'ON},
title = {A deductive calculus for conditional equational system with built-in predicates as premisas},
journal = {Revista colombiana de matematicas},
pages = {77--98},
year = {1997},
volume = {31},
number = {2},
url = {http://geodesic.mathdoc.fr/item/RCM_1997_31_2_a2/}
}
TY - JOUR
AU - MAURICIO AYALA-RINCÓN
TI - A deductive calculus for conditional equational system with built-in predicates as premisas
JO - Revista colombiana de matematicas
PY - 1997
SP - 77
EP - 98
VL - 31
IS - 2
UR - http://geodesic.mathdoc.fr/item/RCM_1997_31_2_a2/
ID - RCM_1997_31_2_a2
ER -
%0 Journal Article
%A MAURICIO AYALA-RINCÓN
%T A deductive calculus for conditional equational system with built-in predicates as premisas
%J Revista colombiana de matematicas
%D 1997
%P 77-98
%V 31
%N 2
%U http://geodesic.mathdoc.fr/item/RCM_1997_31_2_a2/
%F RCM_1997_31_2_a2
