A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.
A fundamental problem in distributed computing and multi-agent systems is to achieve overall system reliability in the presence of a number of faulty processes. use this tag for consensus kind of prob…
Questions about algorithms and data structures for storing, organizing, and naming data in durable storage systems.
Rice's Theorem states that any (non-trivial) property of Turing machines is undecidable.
For questions about logical systems defined via the application and term-rewriting of combinators. These systems often have a close connection to the lambda calculus.
off-topic here. Do not ask questions about how to write code in C. However, conceptual questions about computer science are more appropriate. See our help center for the s…
Questions that ask for help building intuition for formal or complex concepts.
Questions about combinatorics on languages of words, that is how many sequences of symbols with certain properties there are.
a complement of NP, i.e. decision problems where the "no" instances can be accepted by a nondeterministic Turing machine that runs in time polynomial in the…
Questions about techniques for making multiple independent tasks (processes or threads) appear to execute concurrently, either by quickly context switching from one task to the next on a single proces…