Short Proofs of Theorems of Nash-Williams and Tutte.

S. Louis Hakimi John Mitchem Edward F. Schmeichel

Published in: Ars Comb. (1998)

Keyphrases

cut elimination
proof search
sequent calculus
theorem proving
utility function
formal proofs
nash equilibria
sufficient conditions
multiscale
nash equilibrium
theorem prover
linear logic
neural network
real time
special case
decision makers
decision problems
case study
social networks
learning algorithm
database