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
Open PDFAbstract
Available in full text
Categories
Date
September 1, 2019
Authors
Publisher
Elsevier BV