LEADER 04095nam  22006615  450 
001 996465596103316
005 20200702140506.0
010   $a3-540-68389-5
024 7 $a10.1007/3-540-61254-8
035   $a(CKB)1000000000234452
035   $a(SSID)ssj0000323785
035   $a(PQKBManifestationID)11243272
035   $a(PQKBTitleCode)TC0000323785
035   $a(PQKBWorkID)10303737
035   $a(PQKB)10662751
035   $a(DE-He213)978-3-540-68389-6
035   $a(PPN)155173170
035   $a(EXLCZ)991000000000234452
100   $a20121227d1996      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aHigher-Order Algebra, Logic, and Term Rewriting$b[electronic resource] $eSecond International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers /$fedited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
205   $a1st ed. 1996.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996.
215   $a1 online resource (VIII, 296 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1074
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-61254-8 
327   $aTerm 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v1074
606   $aComputers
606   $aComputer logic
606   $aMathematical logic
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aComputers.
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aTheory of Computation.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aMathematical Logic and Foundations.
676   $a511.3
702   $aDowek$b Gilles$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHeering$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMeinke$b Karl$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMöller$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Workshop on Higher-Order Algebra, Logic, and Term Rewriting$d(2nd :$f1995 :$ePaderborn, Germany)
906   $aBOOK
912   $a996465596103316
996   $aHigher-Order Algebra, Logic, and Term Rewriting$92831304
997   $aUNISA