Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings : [FST and TCS 15]
This book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS '95, held in Bangalore, India in December 1995. The volume presents 31 full revised research papers selected from a total of 106 sub...
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
1026 |
| 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: | • Foundations of software technology and theoretical computer science, 15th conference, Bangalore, India, December 18-20, 1995, proceedings, P.S. Thiagarajan, ed, Berlin, Springer-Verlag, 1995, 1 vol. (XII-513 p.), Lecture notes in computer science, 3-540-60692-0 • Foundations of Software Technology and Theoretical Computer Science, Texte imprimé, 9783662205334 |
| LEADER | 05312nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 945101 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155214535 | ||
| 020 | |a 9783540492634 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Conference on foundations of software technology and theoretical computer science |n (15 |d :1995 |c :Bangalore). | |
| 245 | 1 | 0 | |a Foundations of software technology and theoretical computer science : |b 15th conference, Bangalore, India, December 18-20, 1995 : proceedings : [FST and TCS 15] |c [edited by] P. S. Thiagarajan. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1026 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Looking for MUM and DAD: Text-text comparisons do help -- Branch and bound on the network model -- A near optimal algorithm for the extended cow-path problem in the presence of relative errors -- Efficient algorithms for vertex arboricity of planar graphs -- A condition for the three colourability of planar locally path graphs -- A framework for the specification of reactive and concurrent systems in Z -- Synthesizing different development paradigms: Combining top-down with bottom-up reasoning about distributed systems -- Verifying part of the ACCESS.bus protocol using PVS -- Reusing batch parsers as incremental parsers -- The expressive power of indeterminate primitives in asynchronous computation -- The transformation calculus -- Equational axiomatization of bicoercibility for polymorphic types -- From causal consistency to sequential consistency in shared memory systems -- Observation of software for distributed systems with RCL -- Partiality and approximation schemes for local consistency in networks of constraints -- Maximal extensions of simplification orderings -- Average polynomial time is hard for exponential time under sn-reductions -- On self-testing without the generator bottleneck -- Observing behaviour categorically -- An algorithm for reducing binary branchings -- On the complexity of bisimilarity for value-passing processes -- On the expressive power of CCS -- Polarized name passing -- Path balance heuristic for self-adjusting binary search trees -- Pattern matching in compressed texts -- All-pairs min-cut in sparse networks -- Minimizing space usage in evaluation of expression trees -- Smooth surfaces for multi-scale shape representation -- On parallel complexity of planar triangulations -- Computing a largest empty anchored cylinder, and related problems -- Computing hierarchies ofclusters from the euclidean minimum spanning tree in linear time -- Determinizing Büchi asynchronous automata -- Achilles and the tortoise climbing up the arithmetical hierarchy -- Generalized temporal verification diagrams -- Model checking of probabilistic and nondeterministic systems. | |
| 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 constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS '95, held in Bangalore, India in December 1995. The volume presents 31 full revised research papers selected from a total of 106 submissions together with full papers of four invited talks. Among the topics covered are algorithms, software technology, functional programming theory, distributed algorithms, term rewriting and constraint logic programming, complexity theory, process algebras, computational geometry, and temporal logics and verification theory. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logiciels | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Thiagarajan, P. S., |d 1948- |4 pbd | |
| 776 | 0 | |0 024751561 |t Foundations of software technology and theoretical computer science |o 15th conference, Bangalore, India, December 18-20, 1995 |o proceedings |f P.S. Thiagarajan, ed |c Berlin |n Springer-Verlag |d 1995 |p 1 vol. (XII-513 p.) |s Lecture notes in computer science |z 3-540-60692-0 | |
| 776 | 0 | |t Foundations of Software Technology and Theoretical Computer Science |b Texte imprimé |z 9783662205334 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60692-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-P4HJLWKJ-P |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747913676 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60692-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750926430 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60692-0 |z Accès INSA CVL | |
| 997 | |0 945101 |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/ | ||