💻 computer science
Unification of Deterministic Higher-Order Patterns (Full Version)
यह शोधपत्र नियतात्मक उच्च-क्रम पैटर्न (deterministic higher-order patterns) के लिए एक सुदृढ़ और पूर्ण एकीकरण प्रक्रिया प्रस्तुत करता है जो चर तर्क प्रतिबंधों (variable argument restrictions) को शिथिल करके मौजूदा विधियों का सामान्यीकरण करता है, हालांकि यह प्रगति संभावित रूप से अनिग्रहकर्ताओं (unifiers) के अनंत सेटों का परिणाम देती है और समस्या की निर्णयक्षमता (decidability) को एक खुले प्रश्न के रूप में छोड़ देती है।