LEADER 04808nam  22007095  450 
001 996466092403316
005 20200630163548.0
010   $a3-540-48579-1
024 7 $a10.1007/3-540-58233-9
035   $a(CKB)1000000000234140
035   $a(SSID)ssj0000323784
035   $a(PQKBManifestationID)11236822
035   $a(PQKBTitleCode)TC0000323784
035   $a(PQKBWorkID)10303604
035   $a(PQKB)10082154
035   $a(DE-He213)978-3-540-48579-7
035   $a(PPN)155220225
035   $a(EXLCZ)991000000000234140
100   $a20121227d1994      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] $eFirst International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers /$fedited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
205   $a1st ed. 1994.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994.
215   $a1 online resource (IX, 351 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v816
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-58233-9 
327   $aInteraction systems -- Strong normalization of typeable rewrite systems -- A transformation system combining partial evaluation with term rewriting -- Prototyping relational specifications using higher-order objects -- Origin tracking for higher-order term rewriting systems -- Theory interpretation in simple type theory -- The semantics of SPECTRUM -- ATLAS: A typed language for algebraic specification -- Compilation of Combinatory Reduction Systems -- Specification and verification in higher order algebra: A case study of convolution -- Ordered and continuous models of higher-order specifications -- Rewriting properties of combinators for rudimentary linear logic -- Comparing combinatory reduction systems and higher-order rewrite systems -- Termination proofs for higher-order rewrite systems -- Extensions of initial models and their second-order proof systems.
330   $aThis volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v816
606   $aProgramming languages (Electronic computers)
606   $aComputers
606   $aMathematical logic
606   $aComputer logic
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aProgramming languages (Electronic computers).
615  0$aComputers.
615  0$aMathematical logic.
615  0$aComputer logic.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aTheory of Computation.
615 24$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Foundations.
676   $a005.1/01/5113
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
702   $aNipkow$b Tobias$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Workshop on Higher-Order Algebra, Logic, and Term Rewriting$d(1st :$f1993 :$eAmsterdam, Netherlands)
906   $aBOOK
912   $a996466092403316
996   $aHigher-Order Algebra, Logic, and Term Rewriting$92831304
997   $aUNISA