Acetaminophen
发表于 2025-3-23 12:29:50
specification and verification of hardware, software, and mathematics. In these applica tions, higher-order logic provides the necessary level of abstraction for con cise and natural formulations. The main assets of higher-order logic are quan tification over functions or predicates and its abst
刺耳的声音
发表于 2025-3-23 14:41:18
Progress in Theoretical Computer Sciencehttp://image.papertrans.cn/s/image/871782.jpg
Entropion
发表于 2025-3-23 20:30:49
http://reply.papertrans.cn/88/8718/871782/871782_13.png
Insensate
发表于 2025-3-24 00:36:16
Preview,In this chapter, we informally introduce the main concepts and outline the contributions of this work. Precise definitions are presented in later chapters. We proceed from first-order term rewriting and narrowing to higher-order unification and higher-order narrowing.
贪婪地吃
发表于 2025-3-24 03:19:47
http://reply.papertrans.cn/88/8718/871782/871782_15.png
过份艳丽
发表于 2025-3-24 10:28:14
Higher-Order Equational Reasoning,This chapter introduces higher-order unification and term rewriting. First, Section 4.1 reviews a set of transformation rules for full higher-order pre-unification. This is followed by an important special case, higher-order patterns, where unification proceeds almost as in the first-order case.
小画像
发表于 2025-3-24 11:01:14
Variations of Higher-Order Narrowing,This chapter discusses alternative approaches for solving higher-order equations by narrowing. Most of them are inspired by the different notions of first-order narrowing. Compared to lazy narrowing, for all of them new problems arise due to the higher-order case. For an overview of the approaches, we refer again to Figure 2.2.
盘旋
发表于 2025-3-24 16:00:27
978-1-4612-7278-6Birkhäuser Boston 1998
值得尊敬
发表于 2025-3-24 19:38:01
http://reply.papertrans.cn/88/8718/871782/871782_19.png
实施生效
发表于 2025-3-25 02:49:58
http://reply.papertrans.cn/88/8718/871782/871782_20.png