skip to content
FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings Preview this item
ClosePreview this item

FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings

Author: Ramesh Hariharan; Madhavan Mukund; V Vinay
Publisher: Berlin ; New York : Springer, ©2001.
Series: Lecture notes in computer science, 2245.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Ramesh Hariharan; Madhavan Mukund; V Vinay
ISBN: 3540430024 9783540430025
OCLC Number: 48518850
Description: xi, 346 pages : illustrations ; 24 cm.
Contents: Invited Papers.- When Worlds Collide: Derandomization, Lower Bounds, and Kolmogorov Complexity.- Approximation Schemes for Geometric NP-Hard Problems: A Survey.- On Clustering Using Random Walks.- An Introduction to Decidability of DPDA Equivalence.- Semidefinite Programming Based Approximation Algorithms.- Contributed Papers.- Hard Sets and Pseudo-random Generators for Constant Depth Circuits.- The First-Order Isomorphism Theorem.- Thresholds and Optimal Binary Comparison Search Trees.- Distributed LTL Model Checking Based on Negative Cycle Detection.- Computability and Complexity Results for a Spatial Assertion Language for Data Structures.- Using Nondeterminism to Design Efficient Deterministic Algorithms.- Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.- A Mechanically Verified Compiling Specification for a Lisp Compiler.- Beyond Regular Model Checking.- Relations Between Communication Complexity, Linear Arrangements, and Computational Complexity.- Optimal, Output-Sensitive Algorithms for Constructing Upper Envelope of Line Segments in Parallel.- List Decoding from Erasures: Bounds and Code Constructions.- Verification of a Leader Election Algorithm in Timed Asynchronous Systems.- Efficient Addition on Field Programmable Gate Arrays.- The Directed Minimum-Degree Spanning Tree Problem.- I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems.- Beyond Message Sequence Graphs.- Grouping Techniques for One Machine Scheduling Subject to Precedence Constraints.- Properties of Distributed Timed-Arc Petri Nets.- From Falsification to Verification.- On Polynomial Representations of Boolean Functions Related to Some Number Theoretic Problems.- Range Allocation for Equivalence Logic.- Rewrite Closure for Ground and Cancellative AC Theories.
Series Title: Lecture notes in computer science, 2245.
Other Titles: Foundations of Software Technology and Theoretical Computer Science
Responsibility: Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/48518850> # FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "48518850" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/867284313#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/867284313#Topic/logiciels_congres> ; # Logiciels--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/867284313#Topic/informatique_congres> ; # Informatique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/867284313#Topic/genie_logiciel_congres> ; # Génie logiciel--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/867284313#Topic/software_engineering> ; # Software engineering
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://dewey.info/class/005/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/867284313#Topic/informatica> ; # Informatica
   schema:about <http://experiment.worldcat.org/entity/work/data/867284313#Topic/programmatuurtechniek> ; # Programmatuurtechniek
   schema:about <http://experiment.worldcat.org/entity/work/data/867284313#Topic/computer_science> ; # Computer science
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:alternateName "Foundations of Software Technology and Theoretical Computer Science" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/15678573> ; # Ramesh Hariharan
   schema:contributor <http://viaf.org/viaf/63927111> ; # V. Vinay
   schema:contributor <http://viaf.org/viaf/9352167> ; # Madhavan Mukund
   schema:copyrightYear "2001" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/867284313#Meeting/conference_on_foundations_of_software_technology_and_theoretical_computer_science_21st_2001_bangalore_india> ; # Conference on Foundations of Software Technology and Theoretical Computer Science (21st : 2001 : Bangalore, India)
   schema:datePublished "2001" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/867284313> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:name "FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings"@en ;
   schema:productID "48518850" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/48518850#PublicationEvent/berlin_new_york_springer_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/867284313#Agent/springer> ; # Springer
   schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t2245.htm> ;
   schema:url <http://dx.doi.org/10.1007/3-540-45294-X> ;
   schema:url <http://link.springer.de/link/service/series/0558/tocs/t2245.htm> ;
   schema:url <http://link.springer.com/10.1007/3-540-45294-X> ;
   schema:workExample <http://worldcat.org/isbn/9783540430025> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA200789> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/48518850> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/867284313#Meeting/conference_on_foundations_of_software_technology_and_theoretical_computer_science_21st_2001_bangalore_india> # Conference on Foundations of Software Technology and Theoretical Computer Science (21st : 2001 : Bangalore, India)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/867284313#Place/bangalore_india> ; # Bangalore, India)
   schema:name "Conference on Foundations of Software Technology and Theoretical Computer Science (21st : 2001 : Bangalore, India)" ;
    .

<http://experiment.worldcat.org/entity/work/data/867284313#Place/bangalore_india> # Bangalore, India)
    a schema:Place ;
   schema:name "Bangalore, India)" ;
    .

<http://experiment.worldcat.org/entity/work/data/867284313#Topic/genie_logiciel_congres> # Génie logiciel--Congrès
    a schema:Intangible ;
   schema:name "Génie logiciel--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/867284313#Topic/informatique_congres> # Informatique--Congrès
    a schema:Intangible ;
   schema:name "Informatique--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/867284313#Topic/logiciels_congres> # Logiciels--Congrès
    a schema:Intangible ;
   schema:name "Logiciels--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/867284313#Topic/programmatuurtechniek> # Programmatuurtechniek
    a schema:Intangible ;
   schema:name "Programmatuurtechniek"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://link.springer.com/10.1007/3-540-45294-X>
   rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t2245.htm>
   rdfs:comment "Restricted to Springer LINK subscribers" ;
    .

<http://viaf.org/viaf/15678573> # Ramesh Hariharan
    a schema:Person ;
   schema:familyName "Hariharan" ;
   schema:givenName "Ramesh" ;
   schema:name "Ramesh Hariharan" ;
    .

<http://viaf.org/viaf/63927111> # V. Vinay
    a schema:Person ;
   schema:familyName "Vinay" ;
   schema:givenName "V." ;
   schema:name "V. Vinay" ;
    .

<http://viaf.org/viaf/9352167> # Madhavan Mukund
    a schema:Person ;
   schema:familyName "Mukund" ;
   schema:givenName "Madhavan" ;
   schema:name "Madhavan Mukund" ;
    .

<http://worldcat.org/isbn/9783540430025>
    a schema:ProductModel ;
   schema:isbn "3540430024" ;
   schema:isbn "9783540430025" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/48518850> ; # FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/48518850>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/48518850> ; # FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
   schema:dateModified "2018-03-12" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.