Login / Signup
A simple proof that connectivity of finite graphs is not first-order definable.
Haim Gaifman
Moshe Y. Vardi
Published in:
Bull. EATCS (1985)
Keyphrases
</>
first order logic
higher order
provably correct
neural network
graph theory
spanning tree
real numbers
action theories