## Journal of the Association for Computing Machinery, Volume 42, Issues 4-6 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

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