Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/csl/BaazM02
AU - Baaz, Matthias
AU - Moser, Georg
TI - On Generalizations of Semi-terms of Particularly Simple Form.
BT - Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings
SP - 382
EP - 396
PY - 2002//
DO - 10.1007/3-540-45793-3_26
UR - https://doi.org/10.1007/3-540-45793-3_26
ER -
