Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/csl/BaazS94
AU - Baaz, Matthias
AU - Salzer, Gernot
TI - Semi-Unification and Generalizations of a Particularly Simple Form.
BT - Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers
SP - 106
EP - 120
PY - 1994//
DO - 10.1007/BFB0022250
UR - https://doi.org/10.1007/BFb0022250
ER -
