Del 247 - Lecture Notes in Computer Science

STACS 87

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

Häftad, Engelska, 1987

Av Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing

699 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

Theoretical Aspects of Computing - ICTAC 2005

Theoretical Aspects of Computing - ICTAC 2005

Dang Van Hung, Martin Wirsing

1 459 kr

Software Engineering for Collective Autonomic Systems

Software Engineering for Collective Autonomic Systems

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer, Matthias Holzl

739 kr

Knowledge Science, Engineering and Management

Knowledge Science, Engineering and Management

Songmao Zhang, Martin Wirsing, Zili Zhang

739 kr

Algebraic Methods: Theory, Tools and Applications

Del 394

Algebraic Methods: Theory, Tools and Applications

Martin Wirsing, Jan A. Bergstra

1 459 kr

Radical Innovations of Software and Systems Engineering in the Future

Del 2941

Radical Innovations of Software and Systems Engineering in the Future

Martin Wirsing, Alexander Knapp, Simonetta Balsamo

739 kr

Rigorous Software Engineering for Service-Oriented Systems

Rigorous Software Engineering for Service-Oriented Systems

Martin Wirsing, Matthias Hölzl

1 459 kr

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Marsha Chechik, Martin Wirsing

739 kr

Adapting Proofs-as-Programs

Adapting Proofs-as-Programs

Iman Poernomo, John N. Crossley, Martin Wirsing

2 109 kr

Programming Language Implementation and Logic Programming

Del 631

Programming Language Implementation and Logic Programming

Maurice Bruynooghe, Martin Wirsing

739 kr

Software-Intensive Systems and New Computing Paradigms

Software-Intensive Systems and New Computing Paradigms

Martin Wirsing, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer

739 kr