A Combinatorial Proof of a Recursive Formula for Multipartitions.

Oleg Lazarev Holly Swisher

Published in: Integers (2011)

Keyphrases

theorem proving
theorem prover
automated theorem provers
data sets
linear logic
automated theorem proving
databases
artificial intelligence
database systems
logic programs
linear temporal logic
recursive programs