A combinatorial proof of the skew K-saturation theorem.

Per Alexandersson

Published in: Discret. Math. (2015)

Keyphrases

interactive theorem proving
theorem proving
theorem prover
proof theory
social networks
information systems
decision making
hidden markov models
proof planning