STACS 87

4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987

Häftad, Engelska, 1987

AvFranz J. Brandenburg,Guy Vidal-Naquet,Martin Wirsing

679 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1987-02-11
Mått155 x 235 x 27 mm
Vikt750 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor483
Upplaga1987
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540172192

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it

Towards a theory of relativizations: Positive relativizations.- Natural semantics.- On local routing of two-terminal nets.- Geometric relations among Voronoi diagrams.- Finding the largest empty rectangle on a grated surface.- Efficient graph algorithms using limited communication on a fixed-size array of processors.- On selecting the largest element in spite of erroneous information.- The correlation between the complexities of the non-hierarchical and hierarchical versions of graph problems.- Graph isomorphism is in the low hierarchy.- A hierarchy theorem for almost everywhere complex sets with application to polynomial complexity degrees.- Self-reducibility.- Probability one separation of the Boolean hierarchy.- Reversal complexity of multicounter and multihead machines.- Computing the counting function of context-free languages.- On the k-freeness of morphisms on free monoids.- Avoidable patterns on 2 letters.- Polynomial operations on rational languages.- Some structural aspects of hypergraph languages generated by hyperedge replacement.- Specification and implementation of concurrently accessed data structures: An abstract data type approach.- On implementations of loose abstract data type specifications and their vertical composition.- Are homomorphisms sufficient for behavioural implementations of deterministic and nondeterministic data types?.- Some remarks on presentations by finite Church-Rosser Thue systems.- Ground term confluence in parametric conditional equational specifications.- Describing semantic domains with sprouts.- Comparing direct and continuation semantics styles for concurrent languages.- Expressibility of first order logic with a nondeterministic inductive operator.- Bounded nondeterminism and the approximation induction principle in processalgebra.- The step failure semantics.- On the complexity of containment, equivalence, and reachability for finite and 2-dimensional vector addition systems with states.- Closure properties of deterministic Petri nets.- Some results on fairness: The regular case.- Decidability questions for fairness in Petri nets.- Optimal sorting on multi-dimensionally mesh-connected computers.- On the contact-minimization-problem.- Making distributed spanning tree algorithms fault-resilient.- The derivation of on-the-fly garbage collection algorithms from distributed termination detection protocols.- On the expected complexity of distributed selection.- LPG: A generic, logic and functional programming language.- CEC.- ASSPEGIQUE.- REVEUR4 : A laboratory for conditional rewriting.- An interactive, incremental and portable computer algebra system for ?-calculus and combinatory logic based on video edition and rewriting techniques.- The Passau RAP System: Rapid prototyping for algebraic specifications.- SPRAC: A software engineering environment.- SLOG: A logic interpreter for equational clauses.- An algebraic transformation system for occam programs.- REVE a rewrite rule laboratory.

Du kanske också är intresserad av

Effective Education

Effective Education

Charles V. Willie

1 009 kr

The Journal of the Association for Gravestone Studies

The Journal of the Association for Gravestone Studies

1 179 kr

Charity, Challenge, and Change

Charity, Challenge, and Change

Cathy Prelinger, Catherine M. Prelinger

859 kr

Hitler and the Final Solution

Hitler and the Final Solution

349 kr

Two Hundred Years of American Educational Thought

Two Hundred Years of American Educational Thought

Henry J. Perkinson

1 169 kr

International Law of Take-overs and Mergers

International Law of Take-overs and Mergers

Hilton L. Ffrench, H. Leigh Ffrench, Hilton Ffrench, H. Leigh French

1 189 kr

Seéminaire de Théorie du Potentiel, Paris, No. 8

Seéminaire de Théorie du Potentiel, Paris, No. 8

Springer, Francis Hirsch, Gabriel Mokobodzki

489 kr

Mechanisms and Dynamics of Machinery

Mechanisms and Dynamics of Machinery

Hamilton H. Mabie, Charles F. Reinholtz, VA) Mabie, Hamilton H. (Virginia Polytechnic Institute and State University, Blacksburg, VA) Reinholtz, Charles F. (Virginia Polytechnic Institute and State University, Blacksburg

4 029 kr

Character of the Word

Character of the Word

Karla FC Holloway, Karla Fc Holloway, Karla Holloway

1 479 kr

History of Western Philosophy

History of Western Philosophy

2 689 kr