Toolkit Demonstrations

  • James S. Royer
  • John Case
Part of the Progress in Theoretical Computer Science book series (PTCS)


In this chapter we start to apply the tools thus far developed and demonstrate some of the techniques they support. We believe these tools and techniques will prove themselves useful well beyond this monograph.


Programming System Recursive Function Uniform Density Rubber Wall Finite Variant 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1994

Authors and Affiliations

  • James S. Royer
    • 1
  • John Case
    • 2
  1. 1.School of Computer and Information Sciences, Center for Science & TechnologySyracuse UniversitySyracuseUSA
  2. 2.Computer And Information SciencesUniversity of DelawareNewarkUSA

Personalised recommendations