skip to content
Fundamentals of computation theory : 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003 : proceedings Preview this item
ClosePreview this item
Checking...

Fundamentals of computation theory : 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003 : proceedings

Author: Andrzej Lingas; Bengt J Nilsson
Publisher: Berlin ; New York : Springer, 2003.
Series: Lecture notes in computer science, 2751.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
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: Kongress
Conference papers and proceedings
Malmö (2003)
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Andrzej Lingas; Bengt J Nilsson
ISBN: 3540405437 9783540405436
OCLC Number: 52554331
Description: xii, 431 pages : illustrations ; 24 cm.
Contents: Approximability 1.- Proving Integrality Gaps without Knowing the Linear Program.- An Improved Analysis of Goemans and Williamson's LP-Relaxation for MAX SAT.- Certifying Unsatisfiability of Random 2k-SAT Formulas Using Approximation Techniques.- Approximability 2.- Inapproximability Results for Bounded Variants of Optimization Problems.- Approximating the Pareto Curve with Local Search for the Bicriteria TSP(1,2) Problem.- Scheduling to Minimize Max Flow Time: Offline and Online Algorithms.- Algorithms 1.- Linear Time Algorithms for Some NP-Complete Problems on (P 5,Gem)-Free Graphs.- Graph Searching, Elimination Trees, and a Generalization of Bandwidth.- Constructing Sparse t-Spanners with Small Separators.- Composing Equipotent Teams.- Algorithms 2.- Efficient Algorithms for GCD and Cubic Residuosity in the Ring of Eisenstein Integers.- An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates.- Periodic Multisorting Comparator Networks.- Fast Periodic Correction Networks.- Networks and Complexity.- Games and Networks.- One-Way Communication Complexity of Symmetric Boolean Functions.- Circuits on Cylinders.- Computational Biology.- Fast Perfect Phylogeny Haplotype Inference.- On Exact and Approximation Algorithms for Distinguishing Substring Selection.- Complexity of Approximating Closest Substring Problems.- Computational Geometry.- On Lawson's Oriented Walk in Random Delaunay Triangulations.- Competitive Exploration of Rectilinear Polygons.- An Improved Approximation Algorithm for Computing Geometric Shortest Paths.- Adaptive and Compact Discretization for Weighted Region Optimal Path Finding.- On Boundaries of Highly Visible Spaces and Applications.- Computational Models and Complexity.- Membrane Computing.- Classical Simulation Complexity of Quantum Machines.- Using Depth to Capture Average-Case Complexity.- Structural Complexity.- Non-uniform Depth of Polynomial Time and Space Simulations.- Dimension- and Time-Hierarchies for Small Time Bounds.- Baire's Categories on Small Complexity Classes.- Formal Languages.- Operations Preserving Recognizable Languages.- Languages Defined by Generalized Equality Sets.- Context-Sensitive Equivalences for Non-interference Based Protocol Analysis.- On the Exponentiation of Languages.- Kleene's Theorem for Weighted Tree-Automata.- Logic.- Weak Cardinality Theorems for First-Order Logic.- Compositionality of Hennessy-Milner Logic through Structural Operational Semantics.- On a Logical Approach to Estimating Computational Complexity of Potentially Intractable Problems.
Series Title: Lecture notes in computer science, 2751.
Responsibility: Andrzej Lingas, Bengt J. Nilsson (eds.).
More information:

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/52554331> # Fundamentals of computation theory : 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "52554331" ;
   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/350128472#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/350128472#Topic/computer_science> ; # Computer science
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/350128472#Topic/theoretische_informatik> ; # Theoretische Informatik
   schema:about <http://experiment.worldcat.org/entity/work/data/350128472#Topic/informatique> ; # Informatique
   schema:about <http://experiment.worldcat.org/entity/work/data/350128472#Topic/informatique_theorique> ; # Informatique théorique
   schema:about <http://dewey.info/class/004/e22/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/350128472#Person/lingas_andrzej> ; # Andrzej Lingas
   schema:contributor <http://viaf.org/viaf/272633902> ; # Bengt J. Nilsson
   schema:creator <http://experiment.worldcat.org/entity/work/data/350128472#Meeting/fct_2003_2003_malmo_sweden> ; # FCT 2003 (2003 : Malmö, Sweden)
   schema:datePublished "2003" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/350128472> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Malmö (2003)"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:name "Fundamentals of computation theory : 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003 : proceedings"@en ;
   schema:productID "52554331" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/52554331#PublicationEvent/berlin_new_york_springer_2003> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/350128472#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/b11926> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2751> ;
   schema:url <http://swbplus.bsz-bw.de/bsz10632294xcov.htm> ;
   schema:url <http://link.springer.com/10.1007/b11926> ;
   schema:workExample <http://worldcat.org/isbn/9783540405436> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/52554331> ;
    .


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/350128472#Person/lingas_andrzej> # Andrzej Lingas
    a schema:Person ;
   schema:familyName "Lingas" ;
   schema:givenName "Andrzej" ;
   schema:name "Andrzej Lingas" ;
    .

<http://experiment.worldcat.org/entity/work/data/350128472#Place/malmo_sweden> # Malmö, Sweden)
    a schema:Place ;
   schema:name "Malmö, Sweden)" ;
    .

<http://experiment.worldcat.org/entity/work/data/350128472#Topic/informatique> # Informatique
    a schema:Intangible ;
   schema:name "Informatique"@fr ;
   schema:name "Informatique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/350128472#Topic/informatique_theorique> # Informatique théorique
    a schema:Intangible ;
   schema:name "Informatique théorique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/350128472#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
   schema:name "Theoretische Informatik"@en ;
    .

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

<http://link.springer.com/10.1007/b11926>
   rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://viaf.org/viaf/272633902> # Bengt J. Nilsson
    a schema:Person ;
   schema:familyName "Nilsson" ;
   schema:givenName "Bengt J." ;
   schema:name "Bengt J. Nilsson" ;
    .

<http://worldcat.org/isbn/9783540405436>
    a schema:ProductModel ;
   schema:isbn "3540405437" ;
   schema:isbn "9783540405436" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/52554331> ; # Fundamentals of computation theory : 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003 : 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/52554331>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/52554331> ; # Fundamentals of computation theory : 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003 : proceedings
   schema:dateModified "2017-09-03" ;
   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.