|
|
| Property / cites work |
| | | |
| Property / cites work: Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11--15, 2012. Proceedings / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Equality and disequality constraints on direct subterms in tree automata / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: TQL: a query language for semistructured data based on the ambient logic / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Satisfiability of a Spatial Logic with Tree Variables / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Tree Automata with Global Constraints / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: TREE AUTOMATA WITH GLOBAL CONSTRAINTS / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Rigid tree automata and applications / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Tree Automata over Infinite Alphabets / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4449212 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10--14, 2018. Proceedings / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: A complete characterization of deterministic regular liveness properties / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4205072 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Decidability of Second-Order Theories and Automata on Infinite Trees / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4074888 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Generalized finite automata theory with an application to a decision problem of second-order logic / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4385530 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q3086936 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Symbolic tree automata / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Infinite games on finitely coloured graphs with applications to automata on infinite trees / rank |
| | | Normal rank |
