CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgo:
Computability_and_complexity_topic
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Computability and complexity topic
rdfs:
subClassOf
owl:
Thing
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/List_of_computability_and_complexity_topics
is
rdf:
type
of
Star height
Deterministic finite automaton
Moore machine
Parallel computing
Pushdown automaton
Game semantics
Generalized game
Petri net
Multiplication table
Rewriting
2-satisfiability
3SUM
Halting problem
Star height problem
Natural proof
Langton's ant
Scholz conjecture
Arithmetic circuit complexity
Turing tarpit
Alternating Turing machine
B, C, K, W system
Prefix grammar
Advice (complexity)
Arthur–Merlin protocol
Entscheidungsproblem
Word problem for groups
String operations
Interactive computation
Turing completeness
Computable analysis
Decidability (logic)
Probabilistic Turing machine
Exponentiation by squaring
Generalized star-height problem
Oracle machine
Post–Turing machine
Post correspondence problem
Algorithm
Division by two
Weihrauch reducibility
Amortized analysis
Turing reduction
Time hierarchy theorem
Mathematical table
Computable number
Clique problem
Circuit complexity
Hamiltonian path problem
Correctness (computer science)
Turing machine
Presburger arithmetic
Recursion (computer science)
Regular grammar
Data compression
Multiplication algorithm
Parameterized complexity
Integer factorization
History of computing
L-system
Real computation
Edge of chaos
Algorithmic probability
Linear speedup theorem
Cellular automaton
Speed prior
Computational complexity theory
Penrose tiling
Worst-case complexity
Function problem
Las Vegas algorithm
Myhill–Nerode theorem
Hypercomputation
Rule 90
Process calculus
Nondeterministic Turing machine
The
Cook's theorem
Halting probability
Subquadratic time
Recursively enumerable language
Chomsky hierarchy
Savitch's theorem
Busy beaver
Pumping lemma
Polynomial time
girth oracle
Generalized nondeterministic finite automaton
Approximation algorithm
Tree automaton
Combinatory logic
Quantum machine
Regular expression
Lambda calculus
Constructible function
Simulated annealing
Vertex cover
rank oracle
Multi-agent system
Regular language
Büchi automaton
... and more