05159nam 22007815 450 991076818300332120200701165015.03-540-45208-710.1007/b13810(CKB)1000000000212202(SSID)ssj0000327182(PQKBManifestationID)11231699(PQKBTitleCode)TC0000327182(PQKBWorkID)10301501(PQKB)10641748(DE-He213)978-3-540-45208-9(MiAaPQ)EBC3089094(PPN)155204955(EXLCZ)99100000000021220220121227d2003 u| 0engurnn|008mamaatxtccrTheoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings /edited by Carlo Blundo, Cosimo Laneve1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (XII, 400 p.) Lecture Notes in Computer Science,0302-9743 ;2841Bibliographic Level Mode of Issuance: Monograph3-540-20216-1 Includes bibliographical references and index.Invited Talks -- Extreme Nash Equilibria -- Certification of Memory Usage -- On Programming Models for Mobility -- Program Design, Models and Analysis -- On the Computational Complexity of Cut-Elimination in Linear Logic -- A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics -- Finite Horizon Analysis of Stochastic Systems with the Mur? Verifier -- Towards Compact and Tractable Automaton-Based Representations of Time Granularities -- Lower Bounds on the Size of Quantum Automata Accepting Unary Languages -- Refined Effects for Unanticipated Object Re-classification: -- Algorithms and Complexity -- Cost Constrained Fixed Job Scheduling -- A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set -- An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality -- Channel Assignment in Honeycomb Networks -- Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks -- The Complexity of Checking Consistency of Pedigree Information and Related Problems -- On Clausal Equivalence and Hull Inclusion -- Semantics and Formal Languages -- Logical Semantics for the First Order ?-Calculus -- On the Expressive Power of Light Affine Logic -- Reasoning about Self and Others: Communicating Agents in a Modal Action Logic -- Decidability Properties of Recursive Types -- Algebraic Theories for Contextual Pre-nets -- A Coalgebraic Description of Web Interactions -- A Calculus for Dynamic Linking -- Towards a Smart Compilation Manager for Java -- Security and Cryptography -- Anonymous Group Communication in Mobile Networks -- Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences -- An Information-Theoretic Approach to the Access Control Problem -- Security-Aware Program Transformations -- Information Flow Security and Recursive Systems -- Compositional Verification of Secure Streamed Data: A Case Study with EMSS.Lecture Notes in Computer Science,0302-9743 ;2841ComputersData structures (Computer science)AlgorithmsComputer logicMathematical logicTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Data Structureshttps://scigraph.springernature.com/ontologies/product-market-codes/I15017Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computers.Data structures (Computer science).Algorithms.Computer logic.Mathematical logic.Theory of Computation.Computation by Abstract Devices.Data Structures.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.004Blundo Carloedthttp://id.loc.gov/vocabulary/relators/edtLaneve Cosimoedthttp://id.loc.gov/vocabulary/relators/edtICTCS 2003MiAaPQMiAaPQMiAaPQBOOK9910768183003321Theoretical computer science104541UNINA