Satisfiability of ECTL* with Tree Constraints
From MaRDI portal
Publication:3194710
DOI10.1007/978-3-319-20297-6_7zbMath1435.03039arXiv1412.2905MaRDI QIDQ3194710
Markus Lohrey, Claudia Carapelle, Alexander Kartzow, Shiguang Feng
Publication date: 20 October 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1412.2905