Titlebook: Solving Higher-Order Equations; From Logic to Progra Christian Prehofer Book 1998 Birkhäuser Boston 1998 Hardware.Program Analysis.Theorem

Monomania

书目名称Solving Higher-Order Equations影响因子(影响力)




书目名称Solving Higher-Order Equations影响因子(影响力)学科排名




书目名称Solving Higher-Order Equations网络公开度




书目名称Solving Higher-Order Equations网络公开度学科排名




书目名称Solving Higher-Order Equations被引频次




书目名称Solving Higher-Order Equations被引频次学科排名




书目名称Solving Higher-Order Equations年度引用




书目名称Solving Higher-Order Equations年度引用学科排名




书目名称Solving Higher-Order Equations读者反馈




书目名称Solving Higher-Order Equations读者反馈学科排名

传染

Applications of Higher-Order Narrowing,MN97] for formalizing logics and λ-calculi, and for process algebras to [Po194]. Other application areas are program synthesis [Hag91b], machine learning [Har90, DW88], natural language processing [Nad87, PM90, GK96, GKL96], and theorem proving systems, for instance see [AINP90, Pau94, Gor88, CAB.86, DFH.93].

动脉

Introduction,tion and verification of hardware, software, and mathematics. In these applications, higher-order logic provides the necessary level of abstraction for concise and natural formulations. The main assets of higher-order logic are quantification over functions or predicates and its abstraction mechanis

WAIL

Constituent

Higher-Order Lazy Narrowing,s in a top-down or outside-in manner. It can be seen as a direct extension of higher-order unification by some narrowing rules. After starting with a general version of lazy narrowing, we develop refinements of lazy narrowing. Some of them also apply to equational reasoning, while the others are tai

感染

Mercantile

Concluding Remarks,ming. Towards this goal we have first examined decidable classes of higher-order unification. We have shown that for many practical purposes, higher-order unification is not only a powerful tool, but also terminates for several classes of terms. The main restriction we need is linearity, which is co

出血

Osteoarthritis

enfeeble