By Jochen Burghardt (auth.), M. Dauchet, M. Nivat (eds.)
This quantity includes the lawsuits of the thirteenth Colloquium on bushes in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The previous 12 colloquia have been held in France, Italy and Germany. CAAP '85 and CAAP '87 have been built-in into the overseas Joint convention on idea and perform of software program improvement, TAPSOFT (see Lecture Notes in desktop technological know-how volumes 185 and 249). As one other attempt to hyperlink concept and perform in desktop technological know-how, CAAP '88 used to be held along side the eu Symposium on Programming, ESOP '88 (see quantity three hundred of this Lecture Notes series). CAAP '88 is a convention within the zone of application improvement and programming thoughts yet, following the culture, is dedicated to theoretical facets, and particularly to bushes, a uncomplicated constitution of laptop technological know-how. a much wider variety of subject matters in theoretical computing device technology can be lined. The papers are on notice, tree or graph languages, with algorithmic or complexity reviews, on summary information kinds (another classical subject of CAAP) and/or time period rewriting structures and on non-standard logics, and parallelism and concurrency.