Automata, Languages and Programming: 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings / Edition 1

Paperback (Print)
Buy New
Buy New from
Used and New from Other Sellers
Used and New from Other Sellers
from $2.83
Usually ships in 1-2 business days
(Save 98%)
Other sellers (Paperback)
  • All (11) from $2.83   
  • New (5) from $110.24   
  • Used (6) from $2.93   


This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics.
Read More Show Less

Editorial Reviews

Proceedings of the 16th International Colloqium on [title] held July 1989. Comprises forty-five papers which treat such topics as: factors of words; limitations of the upward separation technique (preliminary version); parallel retrieval of scattered information; recent trends in algebraic specification. No index. Annotation c. Book News, Inc., Portland, OR (
Read More Show Less

Product Details

  • ISBN-13: 9783540513711
  • Publisher: Springer Berlin Heidelberg
  • Publication date: 7/24/1989
  • Series: Lecture Notes in Computer Science Series, #372
  • Edition description: 1989
  • Edition number: 1
  • Pages: 790
  • Product dimensions: 9.21 (w) x 6.14 (h) x 1.57 (d)

Table of Contents

Realizable and unrealizable specifications of reactive systems.- Limitations of the upward separation technique (preliminary version).- Lower bounds for the low hierarchy.- Efficient text searching of regular expressions.- Factors of words.- Asymptotically optimal distributed consensus.- Time lower bounds for CREW-PRAM computation of monotone functions.- Subduing self-application.- Everything in NP can be argued in perfect zero-knowledge in a bounded number of rounds.- Polymorphic rewriting conserves algebraic strong normalization and confluence.- Completion of finite codes with finite deciphering delay.- Relational semantics for recursive types and bounded quantification.- A singly-exponential stratification scheme for real semi-algebraic varieties and its applications.- About primitive recursive algorithms.- The definability of equational graphs in monadic second-order logic.- Dominoes and the regularity of DNA splicing languages.- Causal trees.- Infinite normal forms.- On recent trends in algebraic specification.- Automata with storage on infinite words.- Parallel algorithmic techniques for combinatorial computation.- On dice and coins: models of computation for random generation.- An optimal probabilistic algorithm for synchronous Byzantine agreement.- Finding triconnected components by local replacements.- An improved algorithm for approximate string matching.- A pointer-free data structure for merging heaps and min-max heaps.- Structured operational semantics and bisimulation as a congruence.- Parallel retrieval of scattered information.- Tensor rank is NP-complete.- The complexity of nonlinear separable optimization.- General methods for the analysis of the maximum size of dynamic data structures.- How to share concurrent asynchronous wait-free variables.- A new approach to formal language theory by kolmogorov complexity.- Dynamic algorithms in D.E. Knuth's model: A probabilistic analysis.- Completing the temporal picture.- Lower bounds for computations with the floor operation.- Programming, transforming, and proving with function abstractions and memories.- Automata theory meets circuit complexity.- Two versus one index register and modifiable versus non-modifiable programs.- Shortest paths without a map.- Modular system design applying graph grammars techniques.- Partial communations.- On the synthesis of an asynchronous reactive module.- The complexity of controlled selection.- Memory versus randomization in on-line algorithms.- Syntactic control of interference Part 2.- Characteristic formulae.- A combinatorial technique for separating counting complexity classes.- Horn programs and semicomputable relations on abstract structures.- A note on model checking the modal v-calculus.- DI-domains as information systems.
Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star


4 Star


3 Star


2 Star


1 Star


Your Rating:

Your Name: Create a Pen Name or

Barnes & Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation


  • - By submitting a review, you grant to Barnes & and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Terms of Use.
  • - Barnes & reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)