LEADER 05066nam  22007815  450 
001 996465769803316
005 20200702042132.0
010   $a3-540-69555-9
024 7 $a10.1007/BFb0026998
035   $a(CKB)1000000000234709
035   $a(SSID)ssj0000321088
035   $a(PQKBManifestationID)11262208
035   $a(PQKBTitleCode)TC0000321088
035   $a(PQKBWorkID)10263072
035   $a(PQKB)11161469
035   $a(DE-He213)978-3-540-69555-4
035   $a(PPN)155174967
035   $a(EXLCZ)991000000000234709
100   $a20121227d1997      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAlgebraic and Logic Programming$b[electronic resource] $e6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings /$fedited by Michael Hanus, Jan Heering, Karl Meinke
205   $a1st ed. 1997.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997.
215   $a1 online resource (XI, 297 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1298
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-63459-2 
327   $aSafe folding/unfolding with conditional narrowing -- Optimal non-deterministic functional logic computations -- A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints -- Parallelizing functional programs by generalization -- Higher-order equational unification via explicit substitutions -- Parameterised higher-order algebraic specifications -- Higher-order lazy narrowing calculus: A computation model for a higher-order functional logic language -- On composable properties of term rewriting systems -- Needed reductions with context-sensitive rewriting -- Conditional term graph rewriting -- Lazy narrowing with parametric order sorted types -- Termination of algebraic type systems: The syntactic approach -- Proof net semantics of proof search computation -- Explicit substitutions for the ??-calculus -- A left-linear variant of ?? -- Perpetuality and uniform normalization -- Model generation with existentially quantified variables and constraints -- Optimal left-to-right pattern-matching automata.
330   $aThis book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997. The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v1298
606   $aProgramming languages (Electronic computers)
606   $aComputers
606   $aArchitecture, Computer
606   $aComputer logic
606   $aMathematical logic
606   $aArtificial intelligence
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   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
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   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aProgramming languages (Electronic computers).
615  0$aComputers.
615  0$aArchitecture, Computer.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aArtificial intelligence.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aTheory of Computation.
615 24$aComputer System Implementation.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aArtificial Intelligence.
676   $a005.13/1
702   $aHanus$b Michael$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
712 12$aInternational Conference on Algebraic and Logic Programming$d(6th :$f1997 :$eSouthampton, England)
712 12$aInternational Workshop on Higher-Order Algebra, Logic, and Term Rewriting$d(3rd :$f1997 :$eSouthampton, England)
906   $aBOOK
912   $a996465769803316
996   $aAlgebraic and logic programming$91492537
997   $aUNISA