04095nam 22006615 450 99646559610331620200702140506.03-540-68389-510.1007/3-540-61254-8(CKB)1000000000234452(SSID)ssj0000323785(PQKBManifestationID)11243272(PQKBTitleCode)TC0000323785(PQKBWorkID)10303737(PQKB)10662751(DE-He213)978-3-540-68389-6(PPN)155173170(EXLCZ)99100000000023445220121227d1996 u| 0engurnn|008mamaatxtccrHigher-Order Algebra, Logic, and Term Rewriting[electronic resource] Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers /edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller1st ed. 1996.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1996.1 online resource (VIII, 296 p.) Lecture Notes in Computer Science,0302-9743 ;1074Bibliographic Level Mode of Issuance: Monograph3-540-61254-8 Term graph rewriting -- Approximation and normalization results for typeable term rewriting systems -- Modular properties of algebraic type systems -- Collapsing partial combinatory algebras -- A complete proof system for Nested Term Graphs -- R n - and G n -logics -- The variable containment problem -- Higher-order equational logic for specification, simulation and testing -- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving -- Assertions and recursions -- Development closed critical pairs -- Two different strong normalization proofs? -- Third-order matching in the polymorphic lambda calculus -- Higher-order algebra with transfinite types -- Abstraction of hardware construction.This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995. The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.Lecture Notes in Computer Science,0302-9743 ;1074ComputersComputer logicMathematical logicTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Computers.Computer logic.Mathematical logic.Theory of Computation.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Mathematical Logic and Foundations.511.3Dowek Gillesedthttp://id.loc.gov/vocabulary/relators/edtHeering Janedthttp://id.loc.gov/vocabulary/relators/edtMeinke Karledthttp://id.loc.gov/vocabulary/relators/edtMöller Bernhardedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on Higher-Order Algebra, Logic, and Term Rewriting(2nd :1995 :Paderborn, Germany)BOOK996465596103316Higher-Order Algebra, Logic, and Term Rewriting2831304UNISA