A collection of articles in theoretical computer science, written by leading authorities in the field. The topics range from algorithms and complexity to algebraic specifications, and from formal languages and language-theoretic modelling to computational geometry.
A collection of articles in theoretical computer science, written by leading authorities in the field. The topics range from algorithms and complexity...
The RLISP '88 programming system enables groups of programmers to advance the state of the art over a period of years. Each new system is built on top of the old, yet little remains of the original program code. This book on durable programming is for domain specialists and computer scientists.
The RLISP '88 programming system enables groups of programmers to advance the state of the art over a period of years. Each new system is built on top...
Discusses topics in the field of quantum topology, including: knot theory, exotic spheres and global gravitational anomolies; construction of 4D topological quantum field theories; computing the arf invariants of links; and the Casson invariants for two-fold branched covers of links.
Discusses topics in the field of quantum topology, including: knot theory, exotic spheres and global gravitational anomolies; construction of 4D topol...
This proceedings is based on research work on formula manipulation and computer algebra, culminating in the design and construction of a formula manipulation machine at RIKEN known as the FLATS project.
This proceedings is based on research work on formula manipulation and computer algebra, culminating in the design and construction of a formula manip...
