Thread.Abort and alternatives...

What is a class?...

Contructing a special tree, from numerical sequence...

Efficiently finding the intersection of a variable number of sets of strings...

circles and triangles problem...

The consequences and pros/cons of flushing the stream in c++...

P != NP question...

Soundness and completeness of systems...

Python Compare sorting for different data types...

What is the difference between a Metric and a Norm?...

Prefix of a string...

Real world applications of hypergraphs...

Theory: LL(k) parser vs parser for LL(k) grammars...

What's the difference between Map and Mapping in Isabelle?...

Is this context-free grammar unambiguous?...

Insight Into A Loop...

Böhm-Jacopini theorem...

What is the difference between recursive and recursively enumerable languages...

Why do self loop counts twice when finding the degree of a vertex?...

proving that a language is part of a grammar and vice versa...

Example problems not in P nor in NP-complete but in NP...

Theory, examples of reversible parsers?...

Is there a way for the value of an object to be made aware of its own key dynamically?...

Can page fault occur if we don't use virtual memory?...

Algorithmic Complexity Analysis: practically using Knuth's Ordinary Operations (oops) and Memory...

Finding articulation points using DFS and the bi-components algorithm...

Find a start and an ending of an interval which intersects with the table of others the most...

Interpreted and Compiled Language...

I wrote a C program that embeds its own source code at compile time and displays it at runtime. Does...

Gale Shapley matching algorithm with fairness...