A bijective proof of the equation linking the Schro"der numbers, large and small.

Published in: Discret. Math. (2001)

Keyphrases

small number
theorem proving
medium size
database
first order logic
theorem prover
real time
reinforcement learning
relational databases
mobile robot
logic programs
boundary value problem
proof theory