MARC record from Internet Archive

LEADER: 05643cam 2200949 a 4500
001 ocm37465476
003 OCoLC
005 20180626034550.0
008 970730s1997 gw a b 101 0 eng
006 m d
007 cr unu|uuuuu||
010 $a 97030991
040 $aDLC$beng$cDLC$dPMC$dUMC$dOHX$dBAKER$dNLGGC$dYDXCP$dBTCTA$dUKM$dOCLCG$dOCLCQ$dHEBIS$dDEBBG$dZWZ$dOCLCQ$dBDX$dOCLCF$dOCLCQ$dOCLCO$dTFW$dOCLCQ$dOCL$dOCLCO$dDEBSZ$dOCLCQ$dOCLCO
015 $aGB9759450$2bnb
015 $a97,N34,0424$2dnb
016 7 $a950983799$2DE-101
016 7 $a011013813$2Uk
019 $a37694332$a190833301
020 $a3540634592$q(alk. paper)
020 $a9783540634591$q(alk. paper)
020 $a3540617353$q(pbk.)
020 $a9783540617358$q(pbk.)
035 $a(OCoLC)37465476$z(OCoLC)37694332$z(OCoLC)190833301
050 00 $aQA76.63$b.A335 1997
072 7 $aQA$2lcco
082 00 $a005.13/1$221
084 $a54.51$2bcl
084 $aPN 456$2blsrissc
084 $a28$2sdnb
084 $aDAT 706f$2stub
084 $aSS 1997$2rvk
084 $aSS 4800$2rvk
084 $aST 250$2rvk
245 00 $aAlgebraic and logic programming :$b6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /$cMichael Hanus, Jan Heering, Karl Meinke (eds.).
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c℗♭1997.
300 $ax, 286 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aLecture notes in computer science,$x0302-9743 ;$v1298
500 $a"Proceedings of the Sixth International Conference on Algebra and Logic Programming (ALP '97) and the Third International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '97), held in Southampton (Great Britain) during September 3-5, 1997"--Preface.
504 $aIncludes bibliographical references and index.
505 0 $aSafe folding/unfolding with conditional narrowing / M. Alpuente [and others] -- Optimal non-deterministic functional logic computations / S. Antoy -- A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints / M. Codish and C. Taboch -- Parallelizing functional programs by generalization / A. Geser and S. Gorlatch -- Higher-order equational unification via explicit substitutions / C. Kirchner and C. Ringeissen -- Parameterised higher-order algebraic specifications / L.J. Steggles -- Higher-order lazy narrowing calculus : a computation model for a higher-order functional logic language / T. Suzuki, K. Nakagawa and T. Ida -- On composable properties of term rewriting systems / T. Aoto and Y. Toyama -- Needed reductions with context-sensitive rewriting / S. Lucas -- Conditional term graph rewriting / E. Ohlebusch -- Lazy narrowing with parametric order sorted types / J.M. Almendros-Jimine z and A. Gil-Luezas -- Termination of algebraic type systems : the syntactic approach / G. Barthe and F. van Raamsdonk -- Proof net semantics of proof search computation / L. Caires and L. Monteiro -- Explicit substitions for the [delta] [gamma] calculus / G. Barthe, F. Kamareddine and A. Ri os -- A left-linear variant of [gamma] [delta] / A. Ce sar and H. Mun oz -- Perpetuality and uniform normalization / Z. Khasidashvili and M. Ogawa -- Model generation with existentially quantified variables and constraints / S. Abdennadher and H. Schu tz -- Optimal left-to-right pattern-matching automata / N. Nedjah, C.D. Walter and S.E. Eldridge.
650 0 $aLogic programming$vCongresses.
650 0 $aAlgebraic logic$vCongresses.
650 7 $aAlgebraic logic.$2fast$0(OCoLC)fst00804936
650 7 $aLogic programming.$2fast$0(OCoLC)fst01002056
650 17 $aProgrammeren (computers)$2gtt
650 17 $aWiskundige logica.$2gtt
650 17 $aAlgebra.$2gtt
650 7 $aAlgebraische Spezifikation$2gnd
650 7 $aLogische Programmierung$2gnd
650 7 $aProgrammierung$2gnd
650 7 $aTermersetzungssystem$2gnd
650 7 $aProgrammation logique$xCongre s.$2ram
650 7 $aLogique alge brique$xCongre s.$2ram
651 7 $aSouthampton <1997>$2swd
655 4 $aKongress$zSouthampton$y1997.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
655 7 $aSouthampton (1997)$2swd
700 1 $aHanus, Michael.
700 1 $aHeering, J.
700 1 $aMeinke, K.$q(Karl)
711 2 $aInternational Conference on Algebraic and Logic Programming$n(6th :$d1997 :$cSouthampton, England)
711 2 $aInternational Workshop on Higher-Order Algebra, Logic, and Term Rewriting$n(3rd :$d1997 :$cSouthampton, England)
830 0 $aLecture notes in computer science ;$v1298.$x0302-9743
856 41 $3(n.149, 1983 - current) available via SpringerLink$uhttp://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc
856 42 $3Publisher description$uhttp://catdir.loc.gov/catdir/enhancements/fy0815/97030991-d.html
938 $aBaker & Taylor$bBKTY$c71.95$d71.95$i3540634592$n0003059493$sactive
938 $aBrodart$bBROD$n51972603$c$49.00
938 $aBaker and Taylor$bBTCP$n97030991
938 $aOtto Harrassowitz$bHARR$nhar005012404
938 $aYBP Library Services$bYANK$n1441446
029 1 $aAU@$b000013395516
029 1 $aDEBBG$bBV011497722
029 1 $aDEBSZ$b061079960
029 1 $aHEBIS$b053869974
029 1 $aNZ1$b4810681
029 1 $aOHX$bhar005012404
029 1 $aYDXCP$b1441446
994 $aZ0$bPMR
948 $hNO HOLDINGS IN PMR - 171 OTHER HOLDINGS