Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings
This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer scie...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
267 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Automata, languages, and programming, 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987, proceedings, Thomas Ottmann, ed, Berlin, Springer-Verlag, 1987, 1vol. (X-565 p.), Lecture notes in computer science, 0-387-18088-5 • Automata, Languages and Programming, Texte imprimé, 9783662163757 |
| LEADER | 06054nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944799 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155202316 | ||
| 020 | |a 9783540477471 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 511 | ||
| 111 | 2 | |a International Colloquium on automata, languages and programming |n (14 |d :1987 |c :Karlsruhe, Allemagne). | |
| 245 | 1 | 0 | |a Automata, languages, and programming : |b 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings |c [edited by] Thomas Ottmann. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 267 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Probability and plurality for aggregations of learning machines -- Logic programming with ions -- Inverse image analysis -- A unification algorithm for confluent theories -- On the Knuth-Bendix completion for concurrent processes -- On word problems in equational theories -- Semantics for nondeterministic asynchronous broadcast networks -- Another look at abstraction in process algebra -- A timed failures model for extended communicating processes -- Readiness semantics for regular processes with silent actions -- Verifying a protocol using relativized bisimulation -- On recent trends in formal language theory -- Non-uniform automata over groups -- Minimal automaton of a rational cover -- A star-height problem in free monoids with partial commutations -- Single-valued finite transduction -- The kleene and the Parikh Theorem in complete semirings -- An algorithm for computing asynchronous automata in the case of acyclic non-commutation graphs -- On the languages accepted by finite reversible automata -- Decision problems for regular trace languages -- Panic mode without panic -- Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree -- Modelchecking of CTL formulae under liveness assumptions -- A modal logic for a subclass of event structures -- Parallel 5-colouring of planar graphs -- Parallel construction of a suffix tree -- The probabilistic and deterministic parallel complexity of symmetric functions -- Term matching on parallel computers -- Guessing games and distributed computations in synchronous networks -- On the bivariate function minimization problem and its applications to motion planning -- Testing the necklace condition for Shortest Tours and optimal factors in the plane -- Nearly optimal heuristics for binary search trees with geometric generalizations -- Approximating integer lattices by lattices with cyclic factor groups -- On the complexity of graph critical uncolorability -- Posets, boolean representations and quick path searching -- The lexicographically first maximal subgraph problems: P-completeness and NC algorithms -- Uniform computational complexity of Taylor series -- Efficient on-line algorithms for the knapsack problem -- Lower bounds for sorting of sums -- The I/O complexity of sorting and related problems -- A lower bound for the complexity of the Union-Split-Find problem -- The nearest common ancestor in a dynamic tree -- A generalization of the procedure of karp and miller to well structured transition systems -- Completeness results for reachability, containment, and equivalence, with respect to conflict-free vector replacement systems -- Partial algebras flow from algebraic specifications -- The logarithmic alternation hierarchy collapses: | |
| 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 proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer science and cover topics such as algorithms and data structures, automata and formal languages, computability and complexity theory, semantics of programming languages, program specification, transformation and verification, theory of data bases, logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics. The authors are young scientists and leading experts in these areas. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages formels | ||
| 650 | |a Algorithmes | ||
| 650 | |a Automates mathématiques, Théorie des | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Ottmann, Thomas. |4 pbd | |
| 776 | 0 | |0 020333579 |t Automata, languages, and programming |o 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 |o proceedings |f Thomas Ottmann, ed |c Berlin |n Springer-Verlag |d 1987 |p 1vol. (X-565 p.) |s Lecture notes in computer science |z 0-387-18088-5 | |
| 776 | 0 | |t Automata, Languages and Programming |b Texte imprimé |z 9783662163757 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-18088-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-SJ5V9HV5-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74791642X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-18088-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750929022 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-18088-5 |z Accès INSA CVL | |
| 997 | |0 944799 |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/ | ||