In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years.
In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years.
In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years.
In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years.
This book can be used both as an introduction to the subject, suitable for a one- or two-semester graduate course, or as reference for researchers who apply techniques from logic in computer science.
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
Volume 3 of the 'indispensable Handbook of' Graph Grammars and Computing by Graph Transformations presents the research on concurrency, parallelism, and distribution -- important paradigms of modern science.
This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996.
J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier "theoretical," because he more or less identified science and theory, using ...