Logics for Unordered Trees With Data Constraints
Journal of Computer and System Sciences- United States
doi 10.1016/j.jcss.2018.11.004
Full Text
Abstract
Available in
Categories
Date
September 1, 2019
Authors
Publisher
Elsevier BV
doi 10.1016/j.jcss.2018.11.004
Available in
September 1, 2019
Elsevier BV