LEADER 01550nam--2200457---450- 001 990000930200203316 005 20050728091130.0 010 $a0-300-02583-1 035 $a0093020 035 $aUSA010093020 035 $a(ALEPH)000093020USA01 035 $a0093020 100 $a20020131d1982----km-y0itay0103----ba 101 $aeng 102 $aUS 105 $aa|||||||001yy 200 1 $a<> theatre we worked for$ethe letters of Eugene O'Neill to Kenneth MacGowan$fedited by Jackson R. Bryer$gwith the assistance of Ruth M. Alvarez$gwith introduction essays by Travis Bogard 210 $aNew Haven [etc.]$cYale university press$dc1982 215 $aXIII, 274 p.$cill.$d24 cm 410 $12001 600 1 $aO'Neill, Eugene$bEugene$xLettere a Kenneth MacGowan 600 1 $aMacGowan,$bKenneth$xLettere a Eugene O'Neill 676 $a816.52 700 1$aO'NEILL,$bEugene$0131996 702 1$aBRYER,$bJackson R. 702 1$aALVAREZ,$bRuth M. 702 1$aBOGARD,$bTravis 801 0$aIT$bsalbc$gISBD 912 $a990000930200203316 951 $aVII.4.A. 221(II i B 941)$b106502 L.M.$cII i B 959 $aBK 969 $aUMA 979 $aPATTY$b90$c20020131$lUSA01$h1008 979 $aPATTY$b90$c20020131$lUSA01$h1008 979 $aPATTY$b90$c20020131$lUSA01$h1009 979 $c20020403$lUSA01$h1736 979 $aSIAV5$b10$c20040120$lUSA01$h1101 979 $aPATRY$b90$c20040406$lUSA01$h1704 979 $aCOPAT3$b90$c20050728$lUSA01$h0911 996 $aTheatre we worked for$9972017 997 $aUNISA LEADER 03995nam 22006135 450 001 996465868903316 005 20200705064136.0 010 $a3-540-46738-6 024 7 $a10.1007/3-540-53162-9 035 $a(CKB)1000000000233574 035 $a(SSID)ssj0000321090 035 $a(PQKBManifestationID)11260279 035 $a(PQKBTitleCode)TC0000321090 035 $a(PQKBWorkID)10262837 035 $a(PQKB)10405101 035 $a(DE-He213)978-3-540-46738-0 035 $a(PPN)155204181 035 $a(EXLCZ)991000000000233574 100 $a20121227d1990 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgebraic and Logic Programming$b[electronic resource] $eSecond International Conference, Nancy, France, October 1-3, 1990. Proceedings /$fedited by Helene Kirchner, Wolfgang Wechler 205 $a1st ed. 1990. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1990. 215 $a1 online resource (IX, 389 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v463 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-53162-9 327 $aProving and rewriting -- Proving correctness w.r.t. specifications with hidden parts -- Hybrid implementations of algebraic specifications -- Multi-modal logic programming using equational and order-sorted logic -- Logic programs with equational type specifications -- Higher-order order-sorted algebras -- Axiomatization of a functional logic language -- Fourier algorithm revisited -- Fixpoint techniques for non-monotone maps -- Domain theory for nonmonotonic functions -- On the strong completion of logic programs -- An equivalence preserving first order unfold/fold transformation system -- Propositional calculus problems in CHIP -- Unfolding and fixpoint semantics of concurrent constraint logic programs -- Eliminating negation from normal logic programs -- On logic programming interpretations of Dislog: Programming long-distance dependencies in logic -- Recursive query processing in predicate-goal graph -- Implementation of completion by transition rules + control: ORME -- A matching process modulo a theory of categorical products -- Equation solving in conditional AC-theories -- Lazy narrowing in a graph machine -- An abstract concurrent machine for rewriting -- Applying term rewriting methods to finite groups -- Termination proofs by multiset path orderings imply primitive recursive derivation lengths -- Optimization of rewriting and complexity of rewriting -- AC-Termination of rewrite systems: A modified Knuth-Bendix ordering. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v463 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aMathematical logic 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aSoftware Engineering. 676 $a005.1 702 $aKirchner$b Helene$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWechler$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465868903316 996 $aAlgebraic and logic programming$91492537 997 $aUNISA