STACS 88 : 5th annual symposium on theoretical aspects of computer science, Bordeaux, France, february 11-13, 1988 : roceedings
This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais Français |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
294 |
| 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: | • STACS 88, 5th annual symposium on theoretical aspects of computer science, Bordeaux, France, february 11-13, 1988, Heidelberg, Springer-Verlag, 1988, 1 vol.(IX, 404 p.), Lecture notes in computer science, 0-387-18834-7 • STACS 88, Texte imprimé, 9783662196564 |
| LEADER | 05735nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944142 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155176463 | ||
| 020 | |a 9783540481904 (PDF) | ||
| 041 | 0 | |a eng |a fre | |
| 082 | |a 004 | ||
| 111 | 2 | |a Symposium on Theoretical Aspects of Computer Science |n (05 |d :1988 |c :Bordeaux, Gironde). | |
| 245 | 1 | 0 | |a STACS 88 : |b 5th annual symposium on theoretical aspects of computer science, Bordeaux, France, february 11-13, 1988 : roceedings |c [edited by] R. Cori, M. Wirsing. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 294 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Geometry of numbers and integer programming -- Getting back to the past in the union-find problem -- On the construction of optimal time adders -- On computations with integer division -- Maintaining range trees in secondary memory -- Solving parametric problems on trees -- On the k-colouring of circle-graphs -- Functional equations for data structures -- The power of polynomial size ?-branching programs -- Collapsing oracle hierarchies, census functions and logarithmically many queries -- Domino games with an application to the complexity of boolean algebras with bounded quantifier alternations -- An automatic speed-up of random access machines with powerful arithmetic instructions -- Characterizing the polynomial Hierarchy by alternating auxiliary pushdown automata -- Hotz-isomorphism theorems in formal language theory -- First-order properties of trees, star-free expressions, and aperiodicity -- Cyclic rational transductions and polynomials of rational functions -- Construction of a family of finite maximal codes -- Fonctions Generatrices Transcendantes a Coefficients Engendres par Automates -- The relation of two patterns with comparable languages -- Hierarchical contextual rewriting with several levels -- Generalized bisimulation in relational specifications -- On polynomial time graph grammars -- An axiomatic definition of context-free rewriting and its application to NLC graph grammars -- Efficient distributed algorithms by using the archimedean time assumption -- A simple protocol for secure circuit evaluation -- Scheduling independent jobs on hypercubes -- Voronoi diagrams based on general metrics in the plane -- Geometric containment, common roots of polynomials and partial orders -- Extension of the notion of map and subdivisions of a three-dimensional space -- An optimal algorithm fordetecting weak visibility of a polygon -- Polygon placement under translation and rotation -- On the existence of the minimum asynchronous automaton and on decision problems for unambiguous regular trace languages -- On morphisms of trace monoids -- An automaton characterization of fairness in SCCS -- A compositional semantics for Concurrent Prolog -- Functions and relations: The graal system -- LPC: A concurrent programming laboratory -- Darwin: Computer algebra and enumerative combinatorics -- Some tools for an inference laboratory (ATINF) -- Modulog and the Modula workstation -- The granules, glutton: An idea, an algorithm to implement on multiprocessor -- Prototype de Venus: Un Outil d'Aide a la Verification de Systemes Communicantes -- PLEXUS: A system for implementing hierarchical graph algorithms. | |
| 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 volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed algorithms, geometrical algorithms, trace languages, semantics of parallelism. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Microprogrammation | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Wirsing, Martin, |d 1948- |4 pbd | |
| 700 | 1 | |a Cori, Robert, |d 1944- |4 pbd | |
| 776 | 0 | |0 072122692 |t STACS 88 |f 5th annual symposium on theoretical aspects of computer science, Bordeaux, France, february 11-13, 1988 |c Heidelberg |n Springer-Verlag |d 1988 |p 1 vol.(IX, 404 p.) |s Lecture notes in computer science |z 0-387-18834-7 | |
| 776 | 0 | |t STACS 88 |b Texte imprimé |z 9783662196564 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0035825 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-B0PMK2P4-Z |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747922365 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0035825 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750934719 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0035825 |z Accès INSA CVL | |
| 997 | |0 944142 |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/ | ||