Springer-Verlag, 1993. — 218 p. — (Lecture Notes in Computer Science, 1553). — ISBN 3-540-57110-8, 0-387-57110-8. Lectures given at the 2nd Session of the Centro Intemazionale Matematico Estivo (C.I.M.E.) held in Trento, Italy, June 24-July 2, 1991. This volume contains enlarged versions of three of the lecture series. For an exposition of Soule's lectures, see the very recent...
Berlin: Springer-Verlag, 1995. — 269 р. — (Lecture Notes in Computer Science 922). — ISBN: 3-60055-8. This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is...
Springer-Verlag, 1988. — 279 р. — (Lecture Notes in Computer Science). Term rewriting is a very active research topic, with its own dedicated international conference. Rewriting Techniques and Applications, that took place in 1985 at Dijon, France (L.N.C.S. 202), in 1987 at Bordeaux, France (L.N.C.S. 256), and will take place in April 1989 at Chapel Hill, USA. Much effort has...
Proceedings. — Berlin: Springer, 1996. — 420 p. — (Lecture Notes in Computer Science. Vol. 1190). This book constitutes the strictly refereed post-conference proceedings of the International Symposium on Graph Drawing (GD), GD'96, held in Berkeley, California, in September 1996. The 24 revised full papers and the 8 systems demonstrations presented in the book were carefully...
Berlin: Springer-Verlag, 1980. — 323 р. — (Lecture Notes in Computer Science 91). The study of form theory as a new discipline within formal language theory is less than ten years old. It was initiated by Armin Cremers and Seymour Ginsburg around 1974/75 and since this time it has truly blossomed. The primary goal of these lecture notes is to provide an introductory and unified...
Комментарии