scientific article; zbMATH DE number 176242

MaRDI QIDQ4035346zbMATH OpenFDO

Authors Moshe Y. Vardi

Publication date 18 May 1993

zbMATH Keywords

analysis of datalog programs

Mathematics Subject Classification ID

Database theory (68P15) Formal languages and automata (68Q45)

Recommendations

• Automata theory and its applications
• scientific article; zbMATH DE number 1479635
• Automata theory and model checking
• scientific article; zbMATH DE number 839556
• scientific article; zbMATH DE number 176241

Cited in

(9)

• Speeding up inferences using relevance reasoning: a formalism and algorithms
• Query automata over finite trees
• Automata and program analysis
• Attribute grammars for unranked trees as a query language for structured documents
• Automata techniques for query inference machines
• scientific article; zbMATH DE number 176241 (Why is no real title available?)
• scientific article; zbMATH DE number 1479635 (Why is no real title available?)
• On the equivalence of recursive and nonrecursive Datalog programs
• Infinity problems and countability problems for -automata

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 Q4035346)