Theoretical computer science : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4 6, 2001 : proceedings
This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions. The papers...
Kaydedildi:
| Asıl Yazarlar: | , , |
|---|---|
| Müşterek Yazar: | |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
2202 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Theoretical computer science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, proceedings, Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.), Berlin, Springer, 2001, 1 vol. (xi, 440 p.), Lecture notes in computer science, 3-540-42672-8 • Theoretical Computer Science, Texte imprimé, 9783662198278 |
| LEADER | 04700nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 972080 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155218034 | ||
| 020 | |a 9783540454465 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 004.36 | ||
| 111 | 2 | |a Italian Conference on Theoretical Computer Science |n (07 |d :2001 |c :Turin). | |
| 245 | 1 | 0 | |a Theoretical computer science : |b 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4 6, 2001 : proceedings |c [edited by] Antonio Restivo, Simona Ronchi Rocca, Luca Roversi. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2202 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A LTS Semantics of Ambients via Graph Synchronization with Mobility -- Filter Models and Easy Terms -- Confluence of Untyped Lambda Calculus via Simple Types -- Incremental Inference of Partial Types -- Call-by-Value Separability and Computability -- Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms -- Job Shop Scheduling Problems with Controllable Processing Times -- Upper Bounds on the Size of One-Way Quantum Finite Automata -- P Systems with Gemmation of Mobile Membranes -- Instantaneous Actions vs. Full Asynchronicity: Controlling and Coordinating a Sset of Autonomous Mobile Robots -- Some Structural Properties of Associative Language Descriptions -- Block-Deterministic Regular Languages -- Constructing Finite Maximal Codes from Schützenberger Conjecture -- An Effective Translation of Fickle into Java -- Subtyping and Matching for Mobile Objects -- On Synchronous and Asynchronous Communication Paradigms -- Complexity of Layered Binary Search Trees with Relaxed Balance -- Distance Constrained Labeling of Precolored Trees -- Exponentially Decreasing Number of Operations in Balanced Trees -- Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach -- Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability Threshold -- Relating Partial and Complete Solutions and the Complexity of Computing Smallest Solutions -- On the Distribution of a Key Distribution Center -- Online Advertising: Secure E-coupons -- A Calculus and Complexity Bound for Minimal Conditional Logic -- Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach -- E-unifiability via Narrowing. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on lambda calculus and types, algorithms and data structures, new computing paradigms, formal languages, objects and mobility, computational complexitiy, security, and logics and logic programming. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Structures de données (informatique) | ||
| 700 | 1 | |a Restivo, Antonio. |4 aut | |
| 700 | 1 | |a Roversi, Luca, |d 1966- |4 aut | |
| 700 | 1 | |a Ronchi Della Rocca, Simona. |4 aut | |
| 776 | 0 | |0 058906215 |t Theoretical computer science |o 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 |o proceedings |f Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.) |c Berlin |n Springer |d 2001 |p 1 vol. (xi, 440 p.) |s Lecture notes in computer science |z 3-540-42672-8 | |
| 776 | 0 | |t Theoretical Computer Science |b Texte imprimé |z 9783662198278 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45446-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-632GSNC0-3 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750645466 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45446-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753996456 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45446-2 |z Accès INSA CVL | |
| 997 | |0 972080 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||