Containment for Conditional Tree Patterns
From MaRDI portal
Publication:2941752
DOI10.2168/LMCS-11(2:4)2015zbMath1391.68027arXiv1503.02210OpenAlexW2136220465MaRDI QIDQ2941752
Alessandro Facchini, Evgeny Sherkhonov, Yoichi Hirai, Maarten Marx
Publication date: 25 August 2015
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1503.02210
Related Items (1)
Uses Software
This page was built for publication: Containment for Conditional Tree Patterns