Courcelle's theorem
Sign in to saveon linear-time algorithms for graph logic
Wikidata facts
Show 1 more fact
- publication date
- 1990-00-00
Sources (2)
via Wikidata · CC0
Connections
semantic theory of truth
Entity
mathematical logic
Entity
Turing machine
Entity
P versus NP problem
Entity
first-order logic
Entity
formal system
Entity
time complexity
Entity
recursive set
Entity
semantics of logic
Entity
satisfiability
Entity
structure
Entity
ground expression
Entity
diagram
Entity
logic
Entity
International Standard Book Number
Entity
algorithm
Entity
set theory
Entity
function
Entity
set
Entity
axiom
Entity