LEADER 06142nam 22007335 450 001 996466138903316 005 20200702111952.0 010 $a3-540-49404-9 024 7 $a10.1007/BFb0022242 035 $a(CKB)1000000000234286 035 $a(SSID)ssj0000322126 035 $a(PQKBManifestationID)11246832 035 $a(PQKBTitleCode)TC0000322126 035 $a(PQKBWorkID)10281487 035 $a(PQKB)10037626 035 $a(DE-He213)978-3-540-49404-1 035 $a(PPN)155175211 035 $a(EXLCZ)991000000000234286 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Science Logic$b[electronic resource] $e8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers /$fedited by Leszek Pacholski, Jerzy Tiuryn 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (XI, 553 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v933 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60017-5 327 $aSubtyping with singleton types -- A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects -- The Girard Translation extended with recursion -- Decidability of higher-order subtyping with intersection types -- A ?-calculus structure isomorphic to Gentzen-style sequent calculus structure -- Usability: formalising (un)definedness in typed lambda calculus -- Lambda representation of operations between different term algebras -- Semi-unification and generalizations of a particularly simple form -- A mixed linear and non-linear logic: Proofs, terms and models -- Cut free formalization of logic with finitely many variables. Part I. -- How to lie without being (easily) convicted and the lengths of proofs in propositional calculus -- Monadic second-order logic and linear orderings of finite structures -- First-order spectra with one binary predicate -- Monadic logical definability of NP-complete problems -- Logics for context-free languages -- Log-approximable minimization problems on random inputs -- Convergence and 0?1 laws for L ?,? k under arbitrary measures -- Is first order contained in an initial segment of PTIME? -- Logic programming in Tau Categories -- Reasoning and rewriting with set-relations I: Ground completeness -- Resolution games and non-liftable resolution orderings -- On existential theories of list concatenation -- Completeness of resolution for definite answers with case analysis -- Subrecursion as a basis for a feasible programming language -- A sound metalogical semantics for input/output effects -- An intuitionistic modal logic with applications to the formal verification of hardware -- Towards machine-checked compiler correctness for higher-order pure functional languages -- Powerdomains, powerstructures and fairness -- Canonical forms for data-specifications -- An algebraic view of structural induction -- On the interpretation of type theory in locally cartesian closed categories -- Algorithmic aspects of propositional tense logics -- Stratified default theories -- A homomorphism concept for ?-regularity -- Ramified recurrence and computational complexity II: Substitution and poly-space -- General form recursive equations I -- Modal logics preserving admissible for S4 inference rules -- A bounded set theory with Anti-Foundation Axiom and inductive definability. 330 $aThis volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic. The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v933 606 $aComputers 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 606 $aComputer logic 606 $aArtificial intelligence 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 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 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 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputers. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Foundations. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aArtificial Intelligence. 676 $a004/.01/5113 702 $aPacholski$b Leszek$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTiuryn$b Jerzy$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aWorkshop on Computer Science Logic 906 $aBOOK 912 $a996466138903316 996 $aComputer Science Logic$9771972 997 $aUNISA LEADER 02834cam a2200505 i 4500 001 991003350069707536 008 170317s2015 it a b 001 0 eng d 020 $a9788808182982 (Vol. 1) 020 $a9788808183118 (Vol. 2) 020 $a9788808187789 (Vol. 3) 035 $ab14320526-39ule_inst 040 $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Fisica$beng 082 04$a530$223 084 $aLC QC21.3 084 $a53(022) 100 1 $aWalker, Jearl$043895 245 10$aFondamenti di fisica /$cJearl Walker 250 $a7. ed. 264 1$aMilano :$bCEA,$cc2015 300 $a3 v. (576, 488, 256 p.) :$bill. ;$c29 cm 500 $aAt head of title: Halliday-Resnick 504 $aIncludes bibliographical references and index 505 0 $gV. 1 :$tMeccanica, onde, termodinamica 505 0 $gV. 2 :$tElettromagnetismo, ottica 505 0 $gV. 3 :$tFisica moderna 650 4$aPhysics$vTextbooks 700 1 $aResnick, Robert 700 1 $aHalliday, David,$d1916-2010 907 $a.b14320526$b05-03-19$c27-03-17 912 $a991003350069707536 945 $aLE006 53(022+076) WAL$cVol. 3, C. 1$g1$i2006000176651$lle006$op$pE32.40$q-$rn$so $t1$u0$v0$w0$x0$y.i15808932$z01-06-17 945 $aLE006 53(022+076) WAL$cVol. 3, C. 2$g1$i2006000176644$lle006$op$pE32.40$q-$rl$s- $t0$u0$v0$w0$x0$y.i15808944$z01-06-17 945 $aLE006 53(022+076) WAL$cVol. 3, C. 3$g1$i2006000176637$lle006$op$pE32.40$q-$rl$s- $t0$u2$v1$w2$x0$y.i15808956$z01-06-17 945 $aLE006 53(022+076) HAL$cVol. 1, C. 1$g1$i2006000103138$lle006$op$pE51.50$q-$rn$so $t1$u0$v0$w0$x0$y.i15881179$z05-03-19 945 $aLE006 53(022+076) HAL$cVol. 1, C. 2$g1$i2006000103114$lle006$op$pE51.50$q-$rl$s- $t0$u3$v0$w3$x0$y.i15881192$z05-03-19 945 $aLE006 53(022+076) HAL$cVol. 1, C. 3$g1$i2006000103121$lle006$op$pE51.50$q-$rl$s- $t0$u5$v1$w5$x0$y.i15881210$z05-03-19 945 $aLE006 53(022+076) HAL$cVol. 2, C. 1$g1$i2006000103152$lle006$op$pE48.50$q-$rn$so $t1$u0$v0$w0$x0$y.i15881246$z05-03-19 945 $aLE006 53(022+076) HAL$cVol. 2, C. 2$g1$i2006000103145$lle006$op$pE48.50$q-$rl$s- $t0$u2$v0$w2$x0$y.i15881258$z05-03-19 945 $aLE006 53(022+076) HAL$cVol. 2, C. 3$g1$i2006000103169$lle006$op$pE48.50$q-$rl$s- $t0$u4$v1$w4$x0$y.i1588126x$z05-03-19 945 $aLE006 53(022+076) HAL$cVol. 3, C. 4$g1$i2006000103190$lle006$op$pE34.80$q-$rl$s- $t0$u0$v0$w0$x0$y.i15881271$z05-03-19 945 $aLE006 53(022+076) HAL$cVol. 3, C. 5$g1$i2006000103183$lle006$op$pE34.80$q-$rl$s- $t0$u0$v0$w0$x0$y.i15881283$z05-03-19 945 $aLE006 53(022+076) HAL$cVol. 3, C. 6$g1$i2006000103176$lle006$op$pE34.80$q-$rl$s- $t0$u1$v0$w1$x0$y.i15881295$z05-03-19 996 $aFondamenti di fisica$91748153 997 $aUNISALENTO 998 $ale006$b17-03-17$cm$da $e $feng$git $h0$i0