Geodesic
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.

Voir la notice de l'article provenant de la source Sociedad Colombiana de Matemáticas

@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},
     publisher = {mathdoc},
     volume = {31},
     number = {2},
     year = {1997},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RCM_1997_31_2_a2/
%F RCM_1997_31_2_a2
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/