scientific article; zbMATH DE number 176242

zbMATH Open0766.68097MaRDI QIDQ4035346FDOQ4035346

Authors: Moshe Y. Vardi 

Publication date: 18 May 1993

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

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

zbMATH Keywords

analysis of datalog programs

Mathematics Subject Classification ID

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

Cited In (9)

• Automata techniques for query inference machines
• Infinity problems and countability problems for \(\omega \)-automata
• On the equivalence of recursive and nonrecursive Datalog programs
• Speeding up inferences using relevance reasoning: a formalism and algorithms
• Title not available (Why is that?)
• Query automata over finite trees
• Attribute grammars for unranked trees as a query language for structured documents
• Automata and program analysis
• Title not available (Why is that?)

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)