LPTP

swMATH1822MaRDI QIDQ14470

No author found.

Described by source

• The theoretical foundations of LPTP (a logic program theorem prover)

Related Items (5)

Correctness and Completeness of Logic Programs ⋮ Towards proving type safety of .NET CIL ⋮ Towards proving type safety of \(\mathrm{C}^{\#}\) ⋮ Formal specification and verification of the C\(\#\) thread model ⋮ Finite-tree analysis for constraint logic-based languages

This page was built for software: LPTP