Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings : FST and TCS 11
This volume contains the proceedings of the Eleventh Conference on Foundations of Software Technology and Theoretical Computer Science held in New Dehli, India December 17-19, 1991. Three invited papers and 25 contributed papers selected from 78 submissions by authors from many different countries r...
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , |
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| סדרה: | Lecture notes in computer science
560 |
| נושאים: | |
| גישה מקוונת: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| הערה: |
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, 11th conference, New Delhi, India, December 17-19, 1991, proceedings, S. Biswas, K.V. Nori (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (X-419 p.), Lecture notes in computer science, 3-540-54967-6 • Foundations of Software Technology and Theoretical Computer Science, Texte imprimé, 9783662210451 |
| LEADER | 04124nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 943990 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155170732 | ||
| 020 | |a 9783540466123 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a Conference on foundations of software technology and theoretical computer science |n (11 |d :1991 |c :New Delhi). | |
| 245 | 1 | 0 | |a Foundations of software technology and theoretical computer science : |b 11th conference, New Delhi, India, December 17-19, 1991 : proceedings : FST and TCS 11 |c [edited by] S. Biswas, K.V. Nori. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 560 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Program checking -- Randomizing reductions of search problems -- Time analysis, cost equivalence and program refinement -- AC-equation solving -- On the operational interpretation of complex types -- Tense logics for local reasoning in distributed systems -- Failures semantics for a simple process language with refinement -- Correctness of programs over poor signatures -- Complexity issues for vacillatory function identification -- A purely algebraic proof of McNaughton's theorem on infinite words -- The structure and complexity of minimal NFA's over a unary alphabet -- Relativised cellular automata and complexity classes -- Computing the order of a locally testable automaton -- On the structure and complexity of infinite sets with minimal perfect hash functions -- NP-hard sets and creativeness over constant time languages -- Complete problems involving boolean labelled structures and projection translations -- Is BP.? | |
| 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 Eleventh Conference on Foundations of Software Technology and Theoretical Computer Science held in New Dehli, India December 17-19, 1991. Three invited papers and 25 contributed papers selected from 78 submissions by authors from many different countries reflect the current research concerns of the theoreticalcomputer science community. The topics covered include: -Algorithms (sequential, parallel and geometric) -Automata theory -Functional programming -Learning -Logic of programs -Semantics -Structural complexity theory -Type theory. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Logiciels | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Biswas, Somenath, |d 19..- |4 pbd | |
| 700 | 1 | |a Nori, Kesav V., |d 1945- |4 pbd | |
| 776 | 0 | |0 022316647 |t Foundations of software technology and theoretical computer science |o 11th conference, New Delhi, India, December 17-19, 1991 |o proceedings |f S. Biswas, K.V. Nori (eds.) |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (X-419 p.) |s Lecture notes in computer science |z 3-540-54967-6 | |
| 776 | 0 | |t Foundations of Software Technology and Theoretical Computer Science |b Texte imprimé |z 9783662210451 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-54967-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-D9GP86F0-M |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747923779 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-54967-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750936037 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-54967-6 |z Accès INSA CVL | |
| 997 | |0 943990 |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/ | ||