STACS 89 : 6th Annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16-18, 1989 : proceedings
This volume contains the presentations of the Sixth Symposium on Theoretical Aspects of Computer Science (STACS 89) held at the University of Paderborn, February 16-18, 1989. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which...
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | , |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in computer science
349 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • STACS 89, proceedings, 6th Annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16-18, 1989, Berlin, Springer-Verlag, 1989, 1 vol. (VIII-543 p.), Lecture notes in computer science, 3-540-50840-6 • STACS 89, Texte imprimé, 9783662166840 |
| LEADER | 06154nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 944012 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155171488 | ||
| 020 | |a 9783540460985 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Symposium on theoretical aspects of computer science |n (06 |d :1989 |c :Paderborn, Allemagne). | |
| 245 | 1 | 0 | |a STACS 89 : |b 6th Annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16-18, 1989 : proceedings |c [edited by] B. Monien, R. Cori. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 349 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a On genuinely time bounded computations -- Unified Algebras and action semantics -- Properties of infinite words : Recent results -- A first order logic for partial functions -- Observational implementations -- On the boundary of a union of Rays -- Dynamic planar point location with optimal query time -- An O(n log n) algorithm for computing a link center in a simple polygon -- Polynomial graph-colorings -- Time-optimal simulations of networks by universal parallel computers -- Classes of picture languages that cannot be distinguished in the chain code concept and deletion of redundant retreats -- Linear numeration systems, ?-developments and finite automata -- A generalization of automatic sequences -- Word problems over traces which are solvable in linear time -- Computing minimum spanning forests on 1- and 2-dimensional processor arrays -- Parallel computation of discrete Voronoi diagrams -- Successive approximation in parallel graph algorithms -- Reversals and alternation -- On the power of parity polynomial time -- Complete problems and strong polynomial reducibilities -- If deterministic and nondeterministic space complexities are equal for log log n then they are also equal for log n -- On the complexity of approximating the independent set problem -- Average number of messages for distributed leader finding in rings of processors -- Time vs bits -- Distributed computing on transitive networks: The torus -- Time is not a healer -- Area efficient methods to increase the reliability of combinatorial circuits -- Fault masking probabilities with single and multiple signature analysis -- Chain properties of rule closures -- It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair -- Algebraic specifications for domain theory -- The query topology in logicprogramming -- Testing membership: Beyond permutation groups -- Membership in polynomial ideals over Q is exponential space complete -- Some complexity theoretic aspects of AC rewriting -- Deciding bisimulation equivalences for a class of non-finite-state programs -- Measure of parallelism of distributed computations -- Decidability of weak fairness in petri nets -- New results on the generalized star-height problem -- On the equivalence problem for deterministic multitape automata and transducers -- Deciding equivalence of finite tree automata -- Concatenable segment trees -- Shortest edge-disjoint paths in graphs -- Rounds versus time for the two person pebble game -- AXE: the syntax driven diagram editor for visual languages used in the software engineering environments AxIS -- GraphEd: An interactive graph editor -- SAMPLE a language dependent prototyping environment -- Examining the satisfiability of the formulas of Propositional Dynamic Logic -- Amore: A system for computing automata, MOnoids, and regular expressions -- A proof system for type theory and CCS -- Implementation of a transition semantics for parallel programs with shared variables. | |
| 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 Sixth Symposium on Theoretical Aspects of Computer Science (STACS 89) held at the University of Paderborn, February 16-18, 1989. 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: computational geometry, automata theory and formal languages, semantics of programming languages, parallel algorithms, graph algorithms, complexity, structures, fault tolerance, completeness, distributed computing and concurrency. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Microprogrammation | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Monien, Burkhard, |d 1943- |4 pbd | |
| 700 | 1 | |a Cori, Robert, |d 1944- |4 pbd | |
| 776 | 0 | |0 021029008 |t STACS 89 |o proceedings |f 6th Annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16-18, 1989 |c Berlin |n Springer-Verlag |d 1989 |p 1 vol. (VIII-543 p.) |s Lecture notes in computer science |z 3-540-50840-6 | |
| 776 | 0 | |t STACS 89 |b Texte imprimé |z 9783662166840 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0028968 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-TJCMPZGH-T |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747923523 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0028968 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750935820 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0028968 |z Accès INSA CVL | |
| 997 | |0 944012 |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/ | ||