The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out

Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which

Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for finite model

Unifies and synthesizes research over the last 25 years. The definitive reference for graduate students and researchers.

The papers in this volume address central issues in the study of Plurality and Quantification from three different perspectives: • Algebraic approaches to Plu