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影響因子(影響力)學(xué)科排名




書目名稱Solving Higher-Order Equations網(wǎng)絡(luò)公開度




書目名稱Solving Higher-Order Equations網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Solving Higher-Order Equations被引頻次




書目名稱Solving Higher-Order Equations被引頻次學(xué)科排名




書目名稱Solving Higher-Order Equations年度引用




書目名稱Solving Higher-Order Equations年度引用學(xué)科排名




書目名稱Solving Higher-Order Equations讀者反饋




書目名稱Solving Higher-Order Equations讀者反饋學(xué)科排名

傳染

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].

動(dòng)脈

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