scientific article; zbMATH DE number 7559156
From MaRDI portal
Publication:5090498
DOI10.4230/LIPIcs.STACS.2019.47MaRDI QIDQ5090498
Christof Löding, Patrick Landwehr
Publication date: 18 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Symbolic tree automata
- Rigid tree automata and applications
- Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11--15, 2012. Proceedings
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10--14, 2018. Proceedings
- A complete characterization of deterministic regular liveness properties
- Tree Automata with Global Constraints
- TREE AUTOMATA WITH GLOBAL CONSTRAINTS
- Satisfiability of a Spatial Logic with Tree Variables
- Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings
- TQL: a query language for semistructured data based on the ambient logic
- Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories
- Equality and disequality constraints on direct subterms in tree automata
- Tree Automata over Infinite Alphabets
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Decidability of Second-Order Theories and Automata on Infinite Trees
This page was built for publication:
