skip to content
STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 Preview this item
ClosePreview this item
Checking...

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986

Author: B Monien; G Vidal-Naquet; Gesellschaft für Informatik.; Association française des sciences et techniques de l'information, de l'organisation et des systèmes.
Publisher: Berlin ; New York : Springer-Verlag, ©1986.
Series: Lecture notes in computer science, 210.
Edition/Format:   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 in the library

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

Details

Genre/Form: Conference proceedings
Congresses
Congrès
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: B Monien; G Vidal-Naquet; Gesellschaft für Informatik.; Association française des sciences et techniques de l'information, de l'organisation et des systèmes.
ISBN: 0387160787 9780387160788 3540160787 9783540160786
OCLC Number: 13332173
Notes: "Organized jointly by the special interest group for theoretical computer science of the Gesellschaft für Informatik (G.I.) and the special interest group for applied mathematic[s] of the Association française des sciences et techniques de l'information, de l'organisation et des systèmes (AFCET)"--Foreword.
English and French.
Description: ix, 368 pages : illustrations ; 25 cm.
Contents: Abstract interpretation of denotational definitions.- Temporal reasoning under generalized fairness constraints.- Decidabilite de l'egalite des Langages Algebriques Infinitaires Simples.- Some probabilistic powerdomains in the category SFP.- Ions and local definitions in logic programming.- Input sensitive, optimal parallel randomized algorithms for addition and identification.- A parallel statistical cooling algorithm.- Subgraph isomorphism for biconnected outerplanar graphs in cubic time.- Polynomial time algorithms for finding integer relations among real numbers.- New upperbounds for decentralized extrema-finding in a ring of processors.- Algorithms for visibility representations of planar graphs.- Speeding up random access machines by few processors.- Efficient algorithms for finding minimum spanning forests of hierarchically defined graphs.- On sparseness, ambiguity and other decision problems for acceptors and transducers.- Varietes de Semis Groupes et Mots Infinis.- Equations in free partially commutative monoids.- Separating and testing.- Decomposition de Fonctions Rationnelles.- Long unavoidable patterns.- Abstract implementations and correctness proofs.- Strictness and serializability.- Towards specification and proof of asynchronous systems.- Monotone boolean formulas, distributive lattices, and the complexities of logics, algebraic structures, and computation structures (preliminary report).- Concurrent conciseness of degree, probabilistic, nondeterministic and deterministic finite automata.- Logspace hierarchies, polynomial time and the complexity of fairness problems concerning ?-machines.- On sparse oracles separating feasible complexity classes.- On generalized kolmogorov complexity.- Area-time optimal division for T=?((logn)1+? ).- A time-space tradeoff for element distinctness.- Parallel machines and their communication theoretical limits.
Series Title: Lecture notes in computer science, 210.
Responsibility: edited by B. Monien and G. Vidal-Naquet.
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


<http://www.worldcat.org/oclc/13332173>
library:oclcnum"13332173"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
<http://viaf.org/viaf/151346150>
rdf:typeschema:Organization
schema:name"Association française des sciences et techniques de l'information, de l'organisation et des systèmes."
schema:contributor
schema:copyrightYear"1986"
schema:creator
schema:datePublished"1986"
schema:exampleOfWork<http://worldcat.org/entity/work/id/1102745615>
schema:genre"Conference proceedings"@en
schema:inLanguage"en"
schema:isPartOf
schema:name"STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986"@en
schema:publication
schema:publisher
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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