56 pages matching Computer Science in this book
Results 1-3 of 56
What people are saying - Write a review
We haven't found any reviews in the usual places.
S Abiteboul and S Ginsburg
F Afrati C H Papadimitriou and G Papageorgiou
29 other sections not shown
2-trees algebra algorithm assume attributes automata automaton axiom system block bounded cartesian closed categories circuit clauses communication complete Computer Science configuration congruence consider constraints construction Corollary corresponding cubical graph Database Systems defined definition denote derivation deterministic domain categories edges elements embedded equational logic equations equivalent example exists Figure finite implication first-order logic functional dependency given grammar graph hence Herbrand implication problem inference rules infinite input integer join dependency labels language Lemma linear logic program matrix matrix grammar monoid morphism multivalued dependencies MVDs NFDs node notion NP-complete occurrence operations optical disk optimal oracle machine p-generic sets permutation polynomial priority network Proc proof prove pushdown recursive result satisfies semantics sending set simulation stack step subset subword Symp Theorem Theory tion tree tuple Turing machines universal relation update variables vertex vertices VLSI weight matching