Stability and stable groups in continuous logic.

Itaï Ben Yaacov

Published in: J. Symb. Log. (2010)

Keyphrases

equilibrium point
logic programming
modal logic
database
continuous domains
predicate logic
automated reasoning
defeasible logic
proof theory
bayesian networks
stability analysis
classical logic
discrete space
asynchronous circuits
lyapunov theory