LEADER 04860nam  22007455  450 
001 996466130003316
005 20200703041101.0
010   $a3-540-48791-3
024 7 $a10.1007/3-540-58431-5
035   $a(CKB)1000000000234176
035   $a(SSID)ssj0000321089
035   $a(PQKBManifestationID)11238198
035   $a(PQKBTitleCode)TC0000321089
035   $a(PQKBWorkID)10259799
035   $a(PQKB)10475126
035   $a(DE-He213)978-3-540-48791-3
035   $a(PPN)155174819
035   $a(EXLCZ)991000000000234176
100   $a20121227d1994      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAlgebraic and Logic Programming$b[electronic resource] $e4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings /$fedited by Giorgio Levi, Mario Rodriguez-Artalejo
205   $a1st ed. 1994.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994.
215   $a1 online resource (X, 314 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v850
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-58431-5 
327   $aConcurrent constraint programming -- Specifications using multiple-conclusion logic programs -- Viewing a program transformation system at work -- Proving implications by algebraic approximation -- Sufficient completeness and parameterized proofs by induction -- Proving behavioural theorems with standard first-order logic -- How to realize LSE narrowing -- Compositional analysis for equational Horn programs -- Equation solving in projective planes and planar ternary rings -- From eventual to atomic and locally atomic CC programs: A concurrent semantics -- Concurrent logic programming as uniform linear proofs -- Three-valued completion for abductive logic programs -- A sequential reduction strategy -- On modularity of termination and confluence properties of conditional rewrite systems -- Syntactical analysis of total termination -- Logic programs as term rewriting systems -- Higher-order minimal function graphs -- Reasoning about layered, wildcard and product patterns -- Preserving universal termination through unfold/fold -- A logic for variable aliasing in logic programs.
330   $aThis volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994. Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v850
606   $aSoftware engineering
606   $aComputers
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aMathematical logic
606   $aArtificial intelligence
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
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$aSoftware engineering.
615  0$aComputers.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aArtificial intelligence.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aTheory of Computation.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aArtificial Intelligence.
676   $a005.1
702   $aLevi$b Giorgio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRodriguez-Artalejo$b Mario$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466130003316
996   $aAlgebraic and logic programming$91492537
997   $aUNISA