Author(s): Dutto, Danae
Title: Intuitionistic Reasoning on Hybrid Xpath with Data
Keywords: ESSLLI ’23 Student Session Proceedings
Date submitted: 2023 07 27