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.

formal systems to specify properties of objects
type systems of programming languages
49 questions
Questions about problems which cannot be solved by any Turing machine.
Questions about the abstract data structure Union-Find (also called disjoint-set) and its realizations.
39 questions
The VC dimension (for Vapnik–Chervonenkis dimension) is a measure of the capacity (complexity, expressive power, richness, or flexibility) of a statistical classification algorithm, defined as the car…
33 questions
19 questions
Questions about techniques for providing the appearance of an isolated, contiguous address space to each process. The size of the address spaces may be made to appear larger than the size of main mem…
125 questions
0 questions
6 questions
Questions about graphs in which every edge is associated with a weight.
251 questions
Questions about combinatorics on languages of words, that is how many sequences of symbols with certain properties there are.
40 questions
37 questions
a formal language for modelling computer systems.
1 question
15 16 17 18