Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/tc/Brown74
AU - Brown, Frank M.
TI - Equational Logic.
JO - IEEE Trans. Computers
VL - 23
IS - 12
SP - 1228
EP - 1237
PY - 1974//
DO - 10.1109/T-C.1974.223841
UR - https://doi.org/10.1109/T-C.1974.223841
UR - http://doi.ieeecomputersociety.org/10.1109/T-C.1974.223841
ER -