STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2 4, 1995 : proceedings
This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995. Besides three invited talks, the book contains revised versions of 53 research papers selected from a total of 180 submissions. The contributi...
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | , , |
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science
900 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995, proceedings, Ernst W. Mayr, Claude Puech eds., 1995, Berlin, Springer, 1 vol. (XIII-654 p.), Lecture notes in computer science, 3-540-59042-0 • STACS 95, Texte imprimé, 9783662214619 |
| LEADER | 06268nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 945047 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155212540 | ||
| 020 | |a 9783540491750 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Symposium on theoretical aspects of computer science |n (12 |d :1995 |c :Munich, Allemagne). | |
| 245 | 1 | 0 | |a STACS 95 : |b 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2 4, 1995 : proceedings |c [edited by] Ernst W. Mayr, Claude Puech. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 900 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a On the synthesis of strategies in infinite games -- Finding the maximum with linear error probabilities: a sequential analysis approach -- Completeness and weak completeness under polynomial-size circuits -- Communication complexity of key agreement on small ranges -- Pseudorandom generators and the frequency of simplicity -- Classes of bounded counting type and their inclusion relations -- Lower bounds for depth-three circuits with equals and mod-gates -- On realizing iterated multiplication by small depth threshold circuits -- A random NP-complete problem for inversion of 2D cellular automata -- On the subword equivalence problem for infinite words -- On the separators on an infinite word generated by a morphism -- Systolic tree ?-languages -- Structural complexity of ?-automata -- Algorithms explained by symmetries -- Generalized scans and tri-diagonal systems -- Two-dimensional pattern matching in linear time and small space -- On-line and dynamic algorithms for shortest path problems -- On compact representations of propositional circumscription -- A set-theoretic translation method for (poly)modal logics -- On the synthesis of discrete controllers for timed systems -- A fully abstract semantics for causality in the ?-calculus -- On the sizes of permutation networks and consequences for efficient simulation of hypercube algorithms on bounded-degree networks -- Exploiting storage redundancy to speed up randomized shared memory simulations -- Interval routing schemes -- A packet routing protocol for arbitrary networks -- A family of tag systems for paperfolding sequences -- Growing context-sensitive languages and Church-Rosser languages -- Deterministic generalized automata -- Optimal simulation of automata by neural nets -- Concurrent process equivalences: Some decision problems -- Optimallower bounds on the multiparty communication complexity -- Simultaneous messages vs. communication -- Coding and strong coding in trace monoids -- On codings of traces -- Finding largest common embeddable subtrees -- The ?t-coloring problem -- Expander properties in random regular graphs with edge faults -- Dynamic analysis of the sizes of relations -- On slender context-free languages -- Partial derivatives of regular expressions and finite automata constructions -- Dependence orders for computations of concurrent automata -- On the undecidability of deadlock detection in families of nets -- On the average running time of odd-even merge sort -- Optimal average case sorting on arrays -- Normal numbers and sources for BPP -- Lower bounds on learning decision lists and trees -- Line segmentation of digital curves in parallel -- Computability of convex sets -- Enumerating extreme points in higher dimensions -- The number of views of piecewise-smooth algebraic objects -- On the structure of log-space probabilistic complexity classes -- Resource-bounded instance complexity -- On the sparse set conjecture for sets with low density -- Beyond PNP=NEXP -- Malign distributions for average case circuit complexity -- A possible code in the genetic code. | |
| 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 presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995. Besides three invited talks, the book contains revised versions of 53 research papers selected from a total of 180 submissions. The contributions address all current aspects of theoretical computer science; they are organized in sections on complexity theory, automata theory, algorithms, logic, theory of parallel computing, communication theory, graph theory and databases, and computational geometry. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Puech, Claude, |d 1954-...., |c auteur en médecine. |4 pbd | |
| 700 | 1 | |a Mayr, Ernst, |d 1904-2005, |c biologiste, professeur honoraire à l'université de Harvard. |4 pbd | |
| 700 | 1 | |a Puech, Claude, |d 19..-...., |c auteur en informatique. |4 pbd | |
| 776 | 0 | |0 032852509 |t STACS 95 |o 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 |o proceedings |f Ernst W. Mayr, Claude Puech eds. |d 1995 |c Berlin |n Springer |p 1 vol. (XIII-654 p.) |s Lecture notes in computer science |z 3-540-59042-0 | |
| 776 | 0 | |t STACS 95 |b Texte imprimé |z 9783662214619 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-59042-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-GCD6FQC5-G |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747914109 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-59042-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750926856 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-59042-0 |z Accès INSA CVL | |
| 997 | |0 945047 |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/ | ||