One-dimensional fragment over words and trees

DOI10.1093/LOGCOM/EXAC002MaRDI QIDQ5866478zbMATH OpenOpenAlexFDO

Authors Emanuel Kieroński, Antti Kuusisto

Publication date 22 September 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2110.02678

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• One-dimensional logic over words
• One-Dimensional Logic over Trees
• Complexity and expressivity of uniform one-dimensional fragment with equality
• One-dimensional fragment of first-order logic
• One-dimensional guarded fragments

This page was built for publication: One-dimensional fragment over words and trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5866478)