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: Burkhard 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 [etc.] : Springer-Verlag, cop. 1986.
Series: Lecture notes in computer science, 210.
Edition/Format:   Book : Document : Conference publication   Computer File : French
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
Additional Physical Format: STACS 86
(NL-LeOCL)187920877
Material Type: Conference publication, Document
Document Type: Book, Computer File
All Authors / Contributors: Burkhard 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: 9783540160786 3540160787
OCLC Number: 150396875
Language Note: English and French.
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.
Description: 1 online resource (ix, 368 p. :) ill.
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: ed. 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/150396875>
library:oclcnum"150396875"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/150396875>
rdf:typeschema:Book
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:copyrightYear"op."
schema:datePublished"1986"
schema:editor
schema:editor
schema:exampleOfWork<http://worldcat.org/entity/work/id/1102745615>
schema:genre"Conference proceedings."
schema:genre"Conference proceedings"
schema:name"STACS 86 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986"
schema:numberOfPages"368"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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