A deductive calculus for conditional equational systems with built-in predicates as premises.
Ayala-Rincón, Mauricio
Revista Colombiana de Matemáticas, Tome 31 (1997), p. 77-98 / Harvested from The Electronic Library of Mathematics
Access to full text
Full (PDF)
Publié le : 1997-01-01
EUDML-ID : urn:eudml:doc:119869 
@article{01274721,
     title = {A deductive calculus for conditional equational systems with built-in predicates as premises.},
     journal = {Revista Colombiana de Matem\'aticas},
     volume = {31},
     year = {1997},
     pages = {77-98},
     zbl = {0918.68066},
     language = {en},
     url = {http://dml.mathdoc.fr/item/01274721}
}

Ayala-Rincón, Mauricio. A deductive calculus for conditional equational systems with built-in predicates as premises.. Revista Colombiana de Matemáticas, Tome 31 (1997) pp. 77-98. http://gdmltest.u-ga.fr/item/01274721/