*license_notice_EDS_guest_loggedout* *Login*

Result: Why Canâ€⠪t You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints.

Title:

Why Canâ€⠪t You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints.

Authors:

FrÃ¼hwirth, Thom

Source:

Rule Technologies. Research, Tools & Applications; 2016, p208-222, 15p

Database:

Complementary Index

*Result*: Why Canâ€⠪t You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints.