scientific article; zbMATH DE number 1512627

zbMATH Open0961.68072MaRDI QIDQ4508312FDOQ4508312

Authors: Ralf Treinen 

Publication date: 3 October 2000

Title of this publication is not available (Why is that?)

Recommendations

• The Complexity of Tree Automata and Logics of Programs
• Infinite trees and automaton-definable relations over \(\omega\)-words
• Symbolic tree automata
• Tree Automata with Equality Constraints Modulo Equational Theories
• scientific article; zbMATH DE number 1841832

zbMATH Keywords

WS2SWS2Sy

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70)

Cited In (1)

• Non-structural subtype entailment in automata theory

This page was built for publication:

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