Biswas11th Conference, New Delhi, India, December 17-19, 1991. Proceedings
Foundations of Software Technology and Theoretical Computer Science
11th Conference, New Delhi, India, December 17-19, 1991. Proceedings
Mitarbeit:Biswas, Somenath; Nori, Kesav V.
Biswas11th Conference, New Delhi, India, December 17-19, 1991. Proceedings
Foundations of Software Technology and Theoretical Computer Science
11th Conference, New Delhi, India, December 17-19, 1991. Proceedings
Mitarbeit:Biswas, Somenath; Nori, Kesav V.
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
Andere Kunden interessierten sich auch für
- Kesav V. Nori / C.E. Veni Madhavan (eds.)Foundations of Software Technology and Theoretical Computer Science39,99 €
- V. Arvind (Volume ed.) / Sanjiva PrasadFSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science38,99 €
- Kamal Lodaya / Meena Mahajan (eds.)FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science39,99 €
- Kesav V. Nori / Sanjeev Kumar (eds.)Foundations of Software Technology and Theoretical Computer Science39,99 €
- ShyamasundarFoundations of Software Technology and Theoretical Computer Science39,99 €
- S. Arun-Kumar / Naveen Garg (eds.)FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science39,99 €
- RameshFoundations of Software Technology and Theoretical Computer Science39,99 €
-
-
-
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.
- Algorithms (sequential, parallel and geometric)
- Automata theory
- Functional programming
- Learning
- Logic of programs
- Semantics
- Structural complexity theory
- Type theory.
Produktdetails
- Produktdetails
- Lecture Notes in Computer Science 560
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-54967-3
- 1991.
- Seitenzahl: 436
- Erscheinungstermin: 27. November 1991
- Englisch
- Abmessung: 235mm x 155mm x 24mm
- Gewicht: 722g
- ISBN-13: 9783540549673
- ISBN-10: 3540549676
- Artikelnr.: 09219751
- Herstellerkennzeichnung
- Springer-Verlag GmbH
- Tiergartenstr. 17
- 69121 Heidelberg
- ProductSafety@springernature.com
- Lecture Notes in Computer Science 560
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-54967-3
- 1991.
- Seitenzahl: 436
- Erscheinungstermin: 27. November 1991
- Englisch
- Abmessung: 235mm x 155mm x 24mm
- Gewicht: 722g
- ISBN-13: 9783540549673
- ISBN-10: 3540549676
- Artikelnr.: 09219751
- Herstellerkennzeichnung
- Springer-Verlag GmbH
- Tiergartenstr. 17
- 69121 Heidelberg
- ProductSafety@springernature.com
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.? $$mathcal{P}$$ a probabilistic class?.- Fast stable in-place sorting with O(n) data moves.- A theorem on the approximation of set cover and vertex cover.- A fast algorithm for the principal partition of a graph.- Uniform circuits and exclusive read PRAMs.- Contracting planar graphs efficiently in parallel.- Fast deterministic selection on mesh-connected processor arrays.- Improved selection in totally monotone arrays.- Designing secure communication protocols from trust specifications.- Computing the shortest path tree in a weak visibility polygon.- Usefulness of angle-sweep over line-sweep.- Petri nets and transition systems (Abstract for an invited talk).
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.? $$mathcal{P}$$ a probabilistic class?.- Fast stable in-place sorting with O(n) data moves.- A theorem on the approximation of set cover and vertex cover.- A fast algorithm for the principal partition of a graph.- Uniform circuits and exclusive read PRAMs.- Contracting planar graphs efficiently in parallel.- Fast deterministic selection on mesh-connected processor arrays.- Improved selection in totally monotone arrays.- Designing secure communication protocols from trust specifications.- Computing the shortest path tree in a weak visibility polygon.- Usefulness of angle-sweep over line-sweep.- Petri nets and transition systems (Abstract for an invited talk).