Pages that link to "Item:Q5055717"

The following pages link to An overview of LP, the Larch Prover (Q5055717):

Displaying 4 items.

• Behavioural theories and the proof of behavioural properties (Q671500) (← links)
• Some experiments with a completion theorem prover (Q1186705) (← links)
• Combining matching algorithms: The regular case (Q1186723) (← links)
• A semi-algorithm for algebraic implementation proofs (Q1199928) (← links)