No label defined (Q5090498)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7559156

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7559156

Statements

scholarly article

0 references

10.4230/LIPIcs.STACS.2019.47

0 references

Patrick Landwehr

0 references

Christof Löding

0 references

publication date

18 July 2022

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

zbMATH Keywords

tree automata

0 references

infinite trees

0 references

global constraints

0 references

MaRDI profile type

MaRDI publication profile

0 references

Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11--15, 2012. Proceedings

0 references

Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories

0 references

Equality and disequality constraints on direct subterms in tree automata

0 references

Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings

0 references

TQL: a query language for semistructured data based on the ambient logic

0 references

Satisfiability of a Spatial Logic with Tree Variables

0 references

Tree Automata with Global Constraints

0 references

TREE AUTOMATA WITH GLOBAL CONSTRAINTS

0 references

Rigid tree automata and applications

0 references

Tree Automata over Infinite Alphabets

0 references

0 references

Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10--14, 2018. Proceedings

0 references

A complete characterization of deterministic regular liveness properties

0 references

0 references

Decidability of Second-Order Theories and Automata on Infinite Trees

0 references

0 references

Generalized finite automata theory with an application to a decision problem of second-order logic

0 references

0 references

0 references

Symbolic tree automata

0 references

Infinite games on finitely coloured graphs with applications to automata on infinite trees

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5090498

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5090498&oldid=36831044"