Full Text Available
Access Full Text at Repository
Search Results - Journal of Data and Information Science
-
Data-Aware Hybrid Tableaux
Published in Logical Methods in Computer Science (2025)Get full text
Online Article RSS Article -
Axiomatizing Hybrid XPath with Data
Published in Logical Methods in Computer Science (2021)Get full text
-
Synthesis of Data Word Transducers
Published in Logical Methods in Computer Science (2021)Get full text
-
-
Logics with rigidly guarded data tests
Published in Logical Methods in Computer Science (2015)Get full text