What people are saying - Write a review
We haven't found any reviews in the usual places.
Regular expression starfreeness is PSPACEcomplete
Server Problems and Regular Languages
On ajproducts of nondeterministic tree automata
25 other sections not shown
Other editions - View all
algorithm alphabet arbitrary assume attribute grammars automaton CD grammar system clauses complete component Computer Science consider construction contains context-free grammar context-free languages Corollary corresponding critical trigger paths d-assignment data model DATALOG defined Definition derivation direct product elements entity evaluation exactly one pair example exists F-logic fact types finite set flat databases function graph Hence Hungary hypergraph hypernode databases implies Imreh input integer isomorphically labelled subsystem Lemma literals locally stratified logic programs mapping nested databases nodes nondeterministic nilpotent automata nondeterministic tree nonterminal normal form NP-complete object databases on-line operating units optimal predicate problem product of nondeterministic Proof Proposition prove PSPACE query symbols recursively enumerable languages regular expression regular languages relation respectively result rewriting rule satisfies schema semantic sentential form sequence set covering problems simulation step string subgraph subset Szeged Theorem transformation transition variables word