Pages that link to "Item:Q2751368"

The following pages link to Higher-order unification and matching (Q2751368):

Displaying 22 items.

• Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
• Probabilistic modelling, inference and learning using logical theories (Q841641) (← links)
• Simplifying the signature in second-order unification (Q843951) (← links)
• The undecidability of the second-order unification problem (Q1150586) (← links)
• Unification with extended patterns (Q1274966) (← links)
• Nominal unification (Q1882909) (← links)
• Extending SMT solvers to higher-order logic (Q2305406) (← links)
• Automorphisms of types and their applications (Q2307975) (← links)
• Higher-order pattern anti-unification in linear time (Q2362208) (← links)
• Decidability of bounded higher-order unification (Q2456577) (← links)
• Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions (Q2480966) (← links)
• Unification and matching on compressed terms (Q2946645) (← links)
• Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
• A Clausal Approach to Proof Analysis in Second-Order Logic (Q3605531) (← links)
• Higher-order equational pattern anti-unification (Q4993338) (← links)
• (Q5028439) (← links)
• Higher-Ranked Annotation Polymorphic Dependency Analysis (Q5041115) (← links)
• Higher-order pattern generalization modulo equational theories (Q5139277) (← links)
• Mechanizing Mathematical Reasoning (Q5717438) (← links)
• Nominal Unification from a Higher-Order Perspective (Q5892169) (← links)
• Superposition with lambdas (Q5918381) (← links)
• Superposition with lambdas (Q5919500) (← links)