79 pages matching Theorem in this book
Results 1-3 of 79
What people are saying - Write a review
We haven't found any reviews in the usual places.
algebra algorithm applied assume atomic autoepistemic autoepistemic logic automaton bits blobs block bound called CCNS clauses commitment scheme complete Computer Science consider construction contains corresponding cost database default logic defined definition denote deterministic disk equations example F-logic faults finite formula graph G H-structure Hence id-terms induction infinite inheritance input integer left-linear Lemma linear logic programming Markov chain matrix MAX CUT memory method node nonmonotonic normal form normalization constant object object-oriented operation optimal packets pair path probabilistic probability problem proof Proposition prove queues Ramanujan graphs random Receiver recursive reduction regional address registers reset satisfies Section semantics semidefinite programming Sender SendMsg servers signature specification standard AEL strongly connected component subgraph subset subterm Symposium temporal logic term rewriting system terminating test & set Theorem theory tion trajectory transition variables vector Verifier vertex zero-knowledge proof