Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings
The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata,for...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
700 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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, 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993, proceedings, A. Lingas, R. Karlsson, S. Carlsson (eds.), Berlin, Springer-Verlag, 1993, 1 vol. (XII-697 p.), Lecture notes in computer science, 3-540-56939-1 • Automata, Languages and Programming, Texte imprimé, 9783662211410 |
| LEADER | 07081nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 944722 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15519920X | ||
| 020 | |a 9783540478263 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Colloquium on Automata, Languages and Programming |n (20 |d :1993 |c :Lund, Sweden). | |
| 245 | 1 | 0 | |a Automata, languages and programming : |b 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings |c [edited by] A. Lingas, R. Karlsson, S. Carlsson. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 700 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Program result checking: A new approach to making programs more reliable -- Dynamic interpolation search in o(log log n) time -- Searching among intervals and compact routing tables -- The approximation of maximum subgraph problems -- Polynomially bounded minimization problems which are hard to approximate -- Primal-dual approximation algorithms for integral flow and multicut in trees, with applications to matching and set cover -- The complexity of approximating PSPACE-complete problems for hierarchical specifications -- Problems on pairs of trees and the four colour problem of planar graphs -- Constructing competitive tours from local information -- Treewidth and pathwidth of permutation graphs -- A theory of even functionals and their algorithmic applications -- Exact asymptotics of divide-and-conquer recurrences -- Optimal bounds for the change-making problem -- The complexity of N-body simulation -- A simple method for resolving degeneracies in Delaunay triangulations -- Fault-tolerance and complexity (Extended abstract) -- Reversal-space trade-offs for simultaneous resource-bounded nondeterministic Turing machines -- On the computational power of discrete Hopfield nets -- On randomized versus deterministic computation -- Lower bounds for one-way probabilistic communication complexity -- Maintaining discrete probability distributions optimally -- Secure and efficient off-line digital money (extended abstract) -- Computational depth and reducibility -- Learnability: Admissible, co-finite, and hypersimple languages -- Inclusion is undecidable for pattern languages -- New decidability results concerning two-way counter machines and applications -- Cobham's Theorem seen through Büchi's Theorem -- Logical definability on infinite traces -- Algebras for classifying regular tree languages and anapplication to frontier testability -- Finite automata as characterizations of minor closed tree families (extended abstract) -- On distributed algorithms in a broadcast domain -- Sparse networks supporting efficient reliable broadcasting -- Strongly adaptive token distribution -- Fast parallel computation of characteristic polynomials by Leverrier's power sum method adapted to fields of finite characteristic -- Fast parallel constraint satisfaction -- The product of rational languages -- On regular compatibility of semi-commutations -- Algebraic aspects of B-regular series -- Products of finite state machines with full coverage -- An effective version of Stallings' theorem in the case of context-free groups -- On the power of periodic iteration of morphisms -- If a DOL language is k-power free then it is circular -- Deciding true concurrency equivalences on finite safe nets (preliminary report) -- Timed testing of concurrent systems -- The fork calculus -- Extended transition systems for parametric bisimulation -- Temporal logic and categories of Petri nets -- Decidability of a partial order based temporal logic -- Local model checking for context-free processes -- Computing on structures -- A partial solution for D-unification based on a reduction to AC 1-unification -- Efficient analysis of concurrent constraint logic programs -- A confluent reduction for the extensional typed ?-calculus with pairs, sums, recursion and terminal object -- Modularity of termination and confluence in combinations of rewrite systems with ?? -- From domains to automata with concurrency -- What is a universal higher-order programming language?. | |
| 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 The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata,formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logicprogramming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, and theory of robotics. This volume contains the proceedings of ICALP 93, held at LundUniversity, Sweden, in July 1993. It includes five invited papers and 51 contributed papers selected from 151 submissions. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages formels | ||
| 650 | |a Algorithmes | ||
| 650 | |a Automates mathématiques, Théorie des | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Structures de données (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Lingas, Andrzej. |4 pbd | |
| 700 | 1 | |a Karlsson, Rolf, |d 1950- |4 pbd | |
| 700 | 1 | |a Carlsonn, Svante. |4 pbd | |
| 776 | 0 | |0 017362032 |t Automata, languages and programming |o 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 |o proceedings |f A. Lingas, R. Karlsson, S. Carlsson (eds.) |c Berlin |n Springer-Verlag |d 1993 |p 1 vol. (XII-697 p.) |s Lecture notes in computer science |z 3-540-56939-1 | |
| 776 | 0 | |t Automata, Languages and Programming |b Texte imprimé |z 9783662211410 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-56939-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-CLN01GHT-5 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747917108 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-56939-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750929707 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-56939-1 |z Accès INSA CVL | |
| 997 | |0 944722 |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/ | ||