Title STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984 / sponsored by AFCET (Association Francaise pour la Cybernétique Economique et Technique) and GI (Gesellschaft für Informatik) ; edited by M. Fontet and K. Mehlhorn

Published Berlin ; New York : Springer-Verlag, 1984

Click on the following:
Springer eBooks

Copies

Description 1 online resource (vi, 338 pages) : illustrations Series Lecture notes in computer science ; 166 Lecture notes in computer science ; 166. 0302-9743 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 several models of parallel computers (extended abstract) -- Bornes inferieures sur la complexite des facteurs des mots infinis engendres par morphismes iteres -- Adherence equivalence is decidable for DOL languages -- Pusdown space complexity and related full-A.F.L.s. -- Automates a pile sur des alphabets infinis -- Logic programs and many-valued logic -- Algebre de machines et logique temporelle -- Algebraic and topological theory of languages and computation -- A property of three-element codes -- Polynomial time inference of general pattern languages -- On extendibility of unavoidable sets Bibliography Includes bibliographical references Subject Computer science -- Congresses Computer science Fundamentele informatica. Genre/Form Conference papers and proceedings Congressen (vorm) Form Electronic book Author Fontet, M. (Max) Mehlhorn, Kurt, 1949- Association française pour la cybernétique économique et technique. Gesellschaft für Informatik. ISBN 9783540388050 3540388052 0387129200 9780387129204

  Permalink