Publication | Closed Access
The theoretical foundations of LPTP (a logic program theorem prover)
34
Citations
12
References
1998
Year
Applied LogicComputational LogicTheoretical FoundationsEngineeringAutomated ReasoningVerificationFormal MethodsFirst-order LogicComputer ScienceLinear LogicFormal VerificationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1