Marcelo F. Frias, Ewa Orlowska. Equational Reasoning in Non-Classical Logics. In Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia. pages 321-329, 1997.
@inproceedings{FriasO97,
title = {Equational Reasoning in Non-Classical Logics},
author = {Marcelo F. Frias and Ewa Orlowska},
year = {1997},
tags = {logic},
researchr = {https://researchr.org/publication/FriasO97},
cites = {0},
citedby = {0},
pages = {321-329},
booktitle = {Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia},
}