Factorizing Proofs in Timed CSP.
Jim DaviesSteve A. SchneiderPublished in: Mathematical Foundations of Programming Semantics (1989)
Keyphrases
- constraint satisfaction problems
- petri net
- theorem proving
- constraint satisfaction
- timed automata
- constraint propagation
- theorem prover
- arc consistency
- tree decomposition
- formal proofs
- constraint programming
- tree decompositions
- decomposition methods
- arc consistency algorithm
- formal proof
- equational theories
- mathematical proofs
- constraint networks
- discrete event
- constraint solving
- interactive theorem proving
- real time
- constraint graph
- natural deduction
- decision procedures
- inference rules
- lower bound
- neural network
- databases