Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/ruleml/Fruhwirth16
AU - Frühwirth, Thom W.
TI - Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints.
BT - Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
SP - 208
EP - 222
PY - 2016//
DO - 10.1007/978-3-319-42019-6_14
UR - https://doi.org/10.1007/978-3-319-42019-6_14
ER -
