LEADER 01000nam a2200265 i 4500 001 991003254129707536 005 20020503185521.0 008 000908s1951 uk ||| | eng 035 $ab10479831-39ule_inst 035 $aEXGIL117767$9ExL 040 $aBiblioteca Interfacoltà$bita 082 0 $a820.5 100 1 $aHazlitt, William$0163960 245 10$aLectures on the English comic writers /$cWilliam Hazlitt ; with an introduction by R. Brimley Johnson 260 $aLondon :$bOxford university press,$c1951 300 $aXI, 248 p. ;$c15 cm. 440 4$aThe world's classics ;$v124 650 4$aHogarth, William 650 4$aLetteratura inglese$y1500-1700 907 $a.b10479831$b02-04-14$c27-06-02 912 $a991003254129707536 945 $aLE002 In. II M 9$g1$i2002000920980$lle002$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10553903$z27-06-02 996 $aLectures on the English comic writers$9213673 997 $aUNISALENTO 998 $ale002$b01-01-00$cm$da $e-$feng$guk $h0$i1 LEADER 00941nam a22002531i 4500 001 991001119199707536 005 20040304164734.0 008 040318s1976 it |||||||||||||||||ita 020 $a8801145748 035 $ab12720963-39ule_inst 035 $aARCHE-070522$9ExL 040 $aDip.to Filosofia$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 245 00$aDimensioni etico-religiose /$ca cura di Aldo Ellena e Giuseppe Mattai 260 $aLeumann Torino :$bElle Di Ci,$c1976 300 $a452 p. ;$c24 cm 440 0$aPresenza educativa ;$v3 700 1 $aMattai, Giuseppe 700 1 $aEllena, Aldo 907 $a.b12720963$b02-04-14$c31-03-04 912 $a991001119199707536 945 $aLE005 MF 6 H 21 v. 3$cV. 3$g1$iLE005MF-15183/2$lle005$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13246100$z31-03-04 996 $aDimensioni etico-religiose$9270552 997 $aUNISALENTO 998 $ale005$b31-03-04$cm$da $e-$fita$git $h0$i1 LEADER 06370nam 22008775 450 001 9910484799703321 005 20251226202831.0 010 $a3-642-04027-6 024 7 $a10.1007/978-3-642-04027-6 035 $a(CKB)1000000000784708 035 $a(SSID)ssj0000316898 035 $a(PQKBManifestationID)11246637 035 $a(PQKBTitleCode)TC0000316898 035 $a(PQKBWorkID)10276724 035 $a(PQKB)10472840 035 $a(DE-He213)978-3-642-04027-6 035 $a(MiAaPQ)EBC3064573 035 $a(PPN)139955275 035 $a(EXLCZ)991000000000784708 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Science Logic $e23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /$fedited by Erich Grädel, Reinhard Kahle 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XI, 567 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5771 300 $aIncludes index. 311 08$a3-642-04026-8 327 $aInvited Talks -- Algebra for Tree Languages -- Forcing and Type Theory -- Functional Interpretations of Intuitionistic Linear Logic -- Fixed-Point Definability and Polynomial Time -- Special Invited Talk to Commemorate the Centenary of Stephen Cole Kleene -- Kleene?s Amazing Second Recursion Theorem -- Contributed Papers -- Typed Applicative Structures and Normalization by Evaluation for System F ? -- Jumping Boxes -- Tree-Width for First Order Formulae -- Algorithmic Analysis of Array-Accessing Programs -- Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems -- Cardinality Quantifiers in MLO over Trees -- From Coinductive Proofs to Exact Real Arithmetic -- On the Relation between Sized-Types Based Termination and Semantic Labelling -- Expanding the Realm of Systematic Proof Theory -- EXPTIME Tableaux for the Coalgebraic ?-Calculus -- On the Word Problem for -Categories, and the Properties of Two-Way Communication -- Intersection, Universally Quantified, and Reference Types -- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata -- Enriching an Effect Calculus with Linear Types -- Degrees of Undecidability in Term Rewriting -- Upper Bounds on Stream I/O Using Semantic Interpretations -- Craig Interpolation for Linear Temporal Languages -- On Model Checking Boolean BI -- Efficient Type-Checking for Amortised Heap-Space Analysis -- Deciding the Inductive Validity of ????* Queries -- On the Parameterised Intractability of Monadic Second-Order Logic -- Automatic Structures of Bounded Degree Revisited -- Nondeterminism and Observable Sequentiality -- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions -- Focalisation and Classical Realisability -- Decidable Extensions of Church?s Problem -- NestedHoare Triples and Frame Rules for Higher-Order Store -- A Complete Characterization of Observational Equivalence in Polymorphic ?-Calculus with General References -- Non-Commutative First-Order Sequent Calculus -- Model Checking FO(R) over One-Counter Processes and beyond -- Confluence of Pure Differential Nets with Promotion -- Decision Problems for Nash Equilibria in Stochastic Games -- On the Complexity of Branching-Time Logics -- Nominal Domain Theory for Concurrency -- The Ackermann Award 2009. 330 $aThe annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7?11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89 werefollowedby a full paper. The ProgrammeCommittee selected 34 papers for presentation at the conference and publication in these proceedings. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. The awardrecipient for 2009 was Jakob Nordstr¨ om. Citation of the award, abstract of the thesis, and a biographical sketch of the recipient may be found at the end of the proceedings. The award was sponsored for the years 2007?2009 by Logitech S.A. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5771 606 $aArtificial intelligence 606 $aMathematical logic 606 $aMachine theory 606 $aComputer science 606 $aComputer science$xMathematics 606 $aCoding theory 606 $aInformation theory 606 $aArtificial Intelligence 606 $aMathematical Logic and Foundations 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aSymbolic and Algebraic Manipulation 606 $aCoding and Information Theory 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aMachine theory. 615 0$aComputer science. 615 0$aComputer science$xMathematics. 615 0$aCoding theory. 615 0$aInformation theory. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Foundations. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aCoding and Information Theory. 676 $a004.015113 686 $aDAT 540f$2stub 686 $aDAT 706f$2stub 686 $aSS 4800$2rvk 701 $aGradel$b Erich$060991 701 $aKahle$b Reinhard$01735965 712 02$aEuropean Association for Computer Science Logic. 712 12$aCSL 2009 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484799703321 996 $aComputer science logic$94189683 997 $aUNINA