scientific article; zbMATH DE number 3988745
From MaRDI portal
Publication:3751042
undecidabilitylogic programminghigher-order unificationdefinite clausesHorn-clause programsPROLOG-type interpreter
Recommendations
Cited in
(28)- scientific article; zbMATH DE number 1255555 (Why is no real title available?)
- Logic programs with equational type specifications
- Refinement of Higher-Order Logic Programs
- Horn clause programs with polymorphic types: Semantics and resolution
- scientific article; zbMATH DE number 2090533 (Why is no real title available?)
- Higher order E-unification
- A semantics for Prolog
- scientific article; zbMATH DE number 1028827 (Why is no real title available?)
- Mechanized metatheory revisited
- Expressing combinatory reduction systems derivations in the rewriting calculus
- Reasoning with higher-order abstract syntax in a logical framework
- Uniform proofs as a foundation for logic programming
- Coalgebraic semantics for parallel derivation strategies in logic programming
- HiLog: A foundation for higher-order logic programming
- Higher-order quantification and proof search
- Higher-order Horn clauses
- Encoding generic judgments: preliminary results
- Making PVS accessible to generic services by interpretation in a universal format
- HoCHC: a refutationally complete and semantically invariant system of higher-order logic modulo theories
- Implementing type theory in higher order constraint logic programming
- Programming with higher-order logic.
- Simple second-order languages for which unification is undecidable
- scientific article; zbMATH DE number 3992920 (Why is no real title available?)
- scientific article; zbMATH DE number 1638651 (Why is no real title available?)
- scientific article; zbMATH DE number 4053062 (Why is no real title available?)
- A unification algorithm for second-order monadic terms
- The expressive power of higher-order Datalog
- A Survey of the Proof-Theoretic Foundations of Logic Programming
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3751042)
