Logic, Language and Computation Festschrift in Honor of Satoru Takasu / edited by Neil Jones, Masami Hagiya, Masahiko Sato.
This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity...
Full description
Saved in: