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

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

Recommendations

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

Cited in

(9)

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

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)