Stacs 1984

Stacs 1984

by Fontet, M.

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Stacs 1984.

Edition Statements

  • Publication Date:1984.

Publication Statements

The Physical Object

  • Description:1 online resource (VIII, 339 pages).

Edition Identifiers

  • ISBN:3540129200, 9783540129202
  • DOI:10.1007/3-540-12920-0
  • oclc:ocn990681590
  • LC Classification:QA76.9.A43
  • Dewey Decimal:005.1

Table of Contents

Key-problems and key-methods in computational geometry -- Some recent results on squarefree words -- Transformations realizing fairness assumptions for parallel programs -- Computing the largest empty rectangle -- Approximation schemes for covering and packing problems in robotics and vlsi -- Covering polygons with minimum number of rectangles -- On expressive interpretations of a Hoare-logic for Clarke's language L4 -- Towards executable specifications using conditional axioms -- Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible -- On a general weight of trees -- From expanders to better superconcentrators without cascading -- Locally synchronous complexity in the light of the trans-box method -- A new definition of morphism on Petri nets -- Blocage et vivacité dans les réseaux a pile-file -- Denotational semantics of concurrent programs with shared memory -- Higher order data structures -- Computability in higher types and the universal domain P? -- On the structure of polynomial time degrees -- Optimal layouts of the tree of meshes with vertices on the perimeter of the bounding convex region -- Efficient simulations among s…

Read More ↓

Subjects

Algorithmes ALGORITHMS Computer algorithms Computer logic Computer Science data processing Electronic Data Processing Informatique Logic, Symbolic and mathematical Logique informatique Logique symbolique et mathématique

Writers

Fontet, M. Mehlhorn, K.

More from this Series

  • Generative and Transformational Techniques in Software Engineering III

    2011.
    more →
    Generative and Transformational Techniques in Software Engineering III

  • Generative and Transformational Techniques in Software Engineering III

    2011.
    more →
    Generative and Transformational Techniques in Software Engineering III

  • Generative and transformational techniques in software engineering III

    cop. 2011.
    more →
    Generative and transformational techniques in software engineering III

  • Generative and transformational techniques in software engineering III

    2011
    more →
    Generative and transformational techniques in software engineering III

  • Generative and transformational techniques in software engineering III

    2011.
    more →
    Generative and transformational techniques in software engineering III

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • STACS 84: Symposium of Theoretical Aspects of Com…

    DJVU · 3.0 MB · updated
    Login →

  • STACS 84: Symposium of Theoretical Aspects of Com…

    DJVU · 3.0 MB · updated
    Login →
Log in to request a copy