Pages that link to "Item:Q3985547"

The following pages link to A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification (Q3985547):

Displaying 26 items.

• (Q4993360) (← links)
• Linear unification of higher-order patterns (Q5044750) (← links)
• A termination ordering for higher order rewrite systems (Q5055816) (← links)
• Higher-order narrowing with definitional trees (Q5055857) (← links)
• Linear second-order unification (Q5055871) (← links)
• Unification of higher-order patterns in a simply typed lambda-calculus with finite products and terminal type (Q5055872) (← links)
• Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
• Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
• A Generic Framework for Higher-Order Generalizations. (Q5089010) (← links)
• (Q5094148) (← links)
• Modular AC unification of higher-order patterns (Q5096303) (← links)
• Higher-order narrowing with convergent systems (Q5096386) (← links)
• How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
• Higher-order pattern generalization modulo equational theories (Q5139277) (← links)
• The CADE-26 automated theorem proving system competition – CASC-26 (Q5145427) (← links)
• A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains (Q5179011) (← links)
• Rewriting and Call-Time Choice: The HO Case (Q5458434) (← links)
• Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) (Q5747747) (← links)
• The practice of logical frameworks (Q5878905) (← links)
• Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs (Q5879268) (← links)
• Nominal Unification from a Higher-Order Perspective (Q5892169) (← links)
• Superposition with lambdas (Q5918381) (← links)
• Superposition with lambdas (Q5919500) (← links)
• Higher-order matching for program transformation (Q5958614) (← links)
• A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
• Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules (Q6079228) (← links)