Tags

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.

2 questions
2 questions
String-manipulation problems are problems where given a sting / a set of strings, the goal is to compute a string satisfying given constraints (usually resulting from input string(s) by adding, removi…
2 questions
2 questions
2 questions
2 questions
2 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.
2 questions
For questions about epistemology in the context of computer science - what knowledge is, and how we arrive at it.
2 questions
Higher inductive types (HITs) are a generalization of inductive types which allow the constructors to produce, not just points of the type being defined, but also elements of its iterated identity typ…
2 questions
2 questions
The Z notation is a formal language for modelling computer systems.
2 questions
2 questions
Hierarchical Temporal Memory (HTM) is a machine intelligence model strictly based on neuroscience and the physiology and interaction of pyramidal neurons in the neocortex of the mammalian (in particul…
1 question
F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification.
1 question
1 question
1 question
1 question
1 question
1 question
0 questions
0 questions
0 questions
0 questions
0 questions
0 questions
0 questions
0 questions
0 questions
0 questions
0 questions
0 questions
0 questions
0 questions