A deductive calculus for conditional equational systems with built-in predicates as premises.
Revista Colombiana de Matemáticas (1997)
- Volume: 31, Issue: 2, page 77-98
- ISSN: 0034-7426
Access Full Article
top
How to cite
topAyala-Rincón, Mauricio. "A deductive calculus for conditional equational systems with built-in predicates as premises.." Revista Colombiana de Matemáticas 31.2 (1997): 77-98. <http://eudml.org/doc/119869>.
@article{Ayala1997,
author = {Ayala-Rincón, Mauricio},
journal = {Revista Colombiana de Matemáticas},
keywords = {algebraic specification; rewriting systems; theorem proving; many-sorted algebras},
language = {eng},
number = {2},
pages = {77-98},
publisher = {Sociedad Colombiana de Matemáticas},
title = {A deductive calculus for conditional equational systems with built-in predicates as premises.},
url = {http://eudml.org/doc/119869},
volume = {31},
year = {1997},
}
TY - JOUR
AU - Ayala-Rincón, Mauricio
TI - A deductive calculus for conditional equational systems with built-in predicates as premises.
JO - Revista Colombiana de Matemáticas
PY - 1997
PB - Sociedad Colombiana de Matemáticas
VL - 31
IS - 2
SP - 77
EP - 98
LA - eng
KW - algebraic specification; rewriting systems; theorem proving; many-sorted algebras
UR - http://eudml.org/doc/119869
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.