A Proof of Halpern-Läuchli Partition Theorem.

Spiros A. Argyros V. Felouzis Vassilis Kanellopoulos

Published in: Eur. J. Comb. (2002)

Keyphrases

interactive theorem proving
temporal logic
causal models
reasoning about actions
model checking
theorem prover
theorem proving
natural deduction
modal logic
linear logic
mathematical proofs