Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - Informal or Other Publication
ID - DBLP:journals/corr/GallF17a
AU - Gall, Daniel
AU - Frühwirth, Thom W.
TI - A Decidable Confluence Test for Cognitive Models in ACT-R.
JO - CoRR
VL - abs/1705.08392
PY - 2017//
UR - http://arxiv.org/abs/1705.08392
ER -