Searching for "Decidability of higher-order matching" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
DECIDABILITY OF HIGHER-ORDER MATCHING
- …-0 DECIDABILITY OF HIGHER-ORDER MATCHING COLIN STIRLING School of Informatics, University of Edinburgh, Edinburgh…
- Add To MetaCart
-
Third-Order Matching in lambda->-Curry is Undecidable
- …] are decidable. Higher-order matching in extensions of with dependent types and type constructors is undecidable…
- Add To MetaCart
-
Complexity of the Higher Order Matching
- … this paper the decidability of higher order matching with unbounded order is still an open question (for 23…
- Cited by 2 (0 self) – Add To MetaCart
-
Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form
- … equivalence is undecidable, but decidability of higher-order matching up to beta-eta equivalence is a long…
- Cited by 2 (0 self) – Add To MetaCart
-
On Statman's Finite Completeness Theorem
- … stating that the -definability conjecture implies the higher-order matching conjecture. Keywords: simply…
- Cited by 3 (0 self) – Add To MetaCart
-
Currying Second-Order Unification Problems
- … that currying could help to simplify the signature used in higher-order matching, and this could help to prove…
- Cited by 2 (2 self) – Add To MetaCart
-
Conditional Rewriting Modulo a Built-in Algebra; Jürgen Avenhaus and Klaus
- …; Andreas Werner 115 The Decidability of Higher-Order Matching; David Wolfram 117 Unifying Cycles; Jörg…
- Add To MetaCart
-
Contents Conditional Rewriting Modulo a Built-in Algebra; J"urgen Avenhaus and Klaus
- …-Unificaiton; Franz Weber 110 On Approaches to Order-Sorted Rewriting; Andreas Werner 115 The Decidability of Higher-Order…
- Add To MetaCart
-
From Context-Free To Definite-Clause Grammars: A Type-Theoretic Approach
- … problem to a matching problem over simply-typed terms. This matching problem is called higher-order…
- Cited by 3 (0 self) – Add To MetaCart
-
About the Confluence of Equational Pattern Rewrite Systems
- …-typed lambda calculus. Actually HRSs are dicult to handle since the decidability of higher-order matching…
- Add To MetaCart
Showing 1 through 10.
