Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India December 19 21, 1989 : proceedings : FST and TCS 9
The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; paral...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
405 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
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, ninth conference, Bangalore, India, December 19-21, 1989, proceedings, C.E. Veni Madhavan, ed, Berlin, Springer-Verlag, 1989, 1 vol. (VIII-339 p.), Lecture notes in computer science, 0-387-52048-1 • Foundations of Software Technology and Theoretical Computer Science, Texte imprimé, 9783662175736 |
| LEADER | 05186nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944486 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155189794 | ||
| 020 | |a 9783540468721 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Conference on foundations of software technology and theoretical computer science |n (09 |d :1989 |c :Bangalore). | |
| 245 | 1 | 0 | |a Foundations of software technology and theoretical computer science : |b ninth conference, Bangalore, India December 19 21, 1989 : proceedings : FST and TCS 9 |c [edited by] C. E. Veni Madhavan. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 405 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A linear-time recognition algorithm for P 4-reducible graphs -- Fast parallel approximations of the maximum weighted cut problem through derandomization -- A new class of separators and planarity of chordal graphs -- Optimal parallel algorithms on circular-arc graphs -- Algebraic properties of the space of multivalued and paraconsistent logic programs -- An autoepistemic logical view of knowledge base -- A natural semantics for logic programs with negation -- A transformation system for deductive database modules with perfect model semantics -- An efficient distributed algorithm for finding articulation points, Bridges, and biconnected components in asynchronous networks -- Impossibility results in the presence of multiple faulty processes -- An adaptive regulator approach for the design of load sharing algorithms -- An algebraic compositional semantics of an object oriented notation with concurrency -- An axiomatization of event structures -- Deducing causal relationships in CCS -- Annotated program transformations -- Algebraic software development concepts for module and configuration families -- On the limitations of locally robust positive reductions -- Query evaluation with null values: How complex is completeness? -- Average case complexity analysis of RETE pattern-match algorithm and average size of join in Databases -- The frobenius problem -- An efficient implicit data structure for path testing and searching in rooted trees and forests -- Robust decompositions of polyhedra -- Gate matrix layout revisited: Algorithmic performance and probabilistic analysis -- Parallel parsing on a one-way linear array of finite-state machines -- Energy-time trade-offs in VLSI computations -- Time and real-time in programs -- A proof system for communicating processes with value-passing (extended abstract). | |
| 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 papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing. - Concurrency: algebraic semantics, event structures. - Logic programming: algebraic properties, semantics. - Software technology: program transformations, algebraic methods. These results together with the formal techniques employed to present them reflect current trends pursued by leading research groups around the world. The papers treat their topics in depth by carefully reviewing existing results, developing and demonstrating new techniques and suggesting further directions for research. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logiciels | ||
| 650 | |a Structures de données (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Veni Madhavan, C.E. |4 pbd | |
| 776 | 0 | |0 02133112X |t Foundations of software technology and theoretical computer science |o ninth conference, Bangalore, India, December 19-21, 1989 |o proceedings |f C.E. Veni Madhavan, ed |c Berlin |n Springer-Verlag |d 1989 |p 1 vol. (VIII-339 p.) |s Lecture notes in computer science |z 0-387-52048-1 | |
| 776 | 0 | |t Foundations of Software Technology and Theoretical Computer Science |b Texte imprimé |z 9783662175736 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-52048-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-HGLFD23C-6 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747919178 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-52048-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75093171X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-52048-1 |z Accès INSA CVL | |
| 997 | |0 944486 |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/ | ||