Skip to main content


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.

Coq is an interactive theorem prover based on the Calculus of Inductive Constructions.
66 questions
Questions that ask for or about correctness proofs of algorithms.
376 questions
The term Counting in Computer Science is usually used to refer to counting objects in certain arrangements or with certain properties.
201 questions
CPU, stands for Central Processing Unit. It is responsible for carrying out the instructions of a computer program by performing the basic arithmetic, logical, control and input/output (I/O) operation…
307 questions
A fast memory limited in space close to the CPU. A cache is designed to reduce the average time to access memory.
248 questions
0 questions
CRC stands for a Cyclic Redundancy Check, a method to verify the integrity of information, and detect errors in storage and communication.
32 questions
Questions on crossing numbers of graphs. A crossing number of a graph is the lowest number of edge crossings of a plane drawing of the graph in question.
3 questions
Questions about the construction and analysis of protocols and algorithms for secure computation and communication (including authentication, integrity, and privacy aspects).
265 questions
Cubical type theory is a version of homotopy type theory in which univalence is not just an axiom but a theorem, hence, since this is constructive, has “computational content”. Cubical type theory mod…
9 questions
For questions about the usage and manipulation of Directed Acyclic Graphs (DAG).
162 questions
the analytic study of ways in which information is efficiently and effectively stored to and retrieved from computer systems.
271 questions
Using the techniques of artificial intelligence and machine learning to extract patterns from large data sets and transforming those data into a useful, organized form for future processing.
141 questions
Questions asking for real-life or benchmarking data sets.
56 questions
Questions about ways of storing data so that it can be used advantageously by algorithms.
2 questions
0 questions
0 questions
In OS, a deadlock is where two or more processes are waiting indefinitely for an event that can be caused by one of the waiting processes. Deadlock is a common problem in distributed systems, parallel…
79 questions
A question in some formal system with a yes-or-no answer.
544 questions
An overlapping feature of type theory and type systems.
121 questions
3 4
6 7