LEADER 04762nam  22007335  450 
001 9910484051303321
005 20230406033648.0
010   $a3-540-32024-5
010   $a3-540-29106-7
024 7 $a10.1007/11560586
035   $a(CKB)1000000000213282
035   $a(SSID)ssj0000320366
035   $a(PQKBManifestationID)11233631
035   $a(PQKBTitleCode)TC0000320366
035   $a(PQKBWorkID)10249167
035   $a(PQKB)11450672
035   $a(DE-He213)978-3-540-32024-1
035   $a(MiAaPQ)EBC3067727
035   $a(PPN)123097819
035   $a(EXLCZ)991000000000213282
100   $a20100317d2005      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTheoretical Computer Science$b[electronic resource] $e9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings /$fedited by Mario Coppo, Elena Lodi, G. Michele Pinna
205   $a1st ed. 2005.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005.
215   $a1 online resource (XI, 411 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3701
300   $a"9th Italian Conference on Theoretical Computer Science"--Pref.
311 08$aPrinted edition: 9783540291060 
320   $aIncludes bibliographical references and index.
327   $aInvited Contributions -- Semantic Subtyping: Challenges, Perspectives, and Open Problems -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions -- Technical Contributions -- Efficient Algorithms for Detecting Regular Point Configurations -- Pickup and Delivery for Moving Objects on Broken Lines -- A Static Analysis of PKI-Based Systems -- Subtyping Object and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky Events Is Enough for Local Policies -- The Graph Rewriting Calculus: Confluence and Expressiveness -- Safe Object Composition in the Presence of Subtyping -- Reachability Analysis in Boxed Ambients -- Error Mining for Regular Expression Patterns -- Reconstructing an Alternate Periodical Binary Matrix from Its Orthogonal Projections -- Inapproximability Results for the Lateral Gene Transfer Problem -- Faster Deterministic Wakeup in Multiple Access Channels -- Weighted Coloring: Further Complexity and Approximability Results -- Quantum Algorithms for a Set of Group Theoretic Problems -- On the Computational Complexity of the L (2,1)-Labeling Problem for Regular Graphs -- A Polymerase Based Algorithm for SAT -- Laxity Helps in Broadcast Scheduling -- Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory -- Synthesis from Temporal Specifications Using Preferred Answer Set Programming -- Model Checking Strategic Abilities of Agents Under Incomplete Information -- Improved Algorithms for Polynomial-Time Decay and Time-Decay with Additive Error -- A Theoretical Analysis of Alignment and Edit Problems for Trees -- A Complete Formulation of Generalized Affine Equivalence -- A New Combinatorial Approach to Sequence Comparison -- A Typed Assembly Language for Non-interference -- Improved Exact Exponential Algorithms for Vertex Bipartization and Other Problems -- A Typed Semantics of Higher-Order Store and Subtyping -- Two Variables Are Not Enough.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3701
606   $aComputer science
606   $aArtificial intelligence?Data processing
606   $aAlgorithms
606   $aMachine theory
606   $aTheory of Computation
606   $aData Science
606   $aAlgorithms
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
615  0$aComputer science.
615  0$aArtificial intelligence?Data processing.
615  0$aAlgorithms.
615  0$aMachine theory.
615 14$aTheory of Computation.
615 24$aData Science.
615 24$aAlgorithms.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
676   $a004
686   $a54.10$2bcl
702   $aCoppo$b Mario$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLodi$b Elena$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPinna$b G. Michele$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aItalian Conference on Theoretical Computer Science
906   $aBOOK
912   $a9910484051303321
996   $aTheoretical computer science$9104541
997   $aUNINA