Pages that link to "Item:Q5055717"
From MaRDI portal
The following pages link to An overview of LP, the Larch Prover (Q5055717):
Displaying 9 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)
- Algebra and automated deduction (Q4647540) (← links)
- Combining matching algorithms: The regular case (Q5055731) (← links)
- Rewriting, and equational unification: the higher-order cases (Q5055746) (← links)
- Modular higher-order E-unification (Q5055760) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
