DIMACS: Series in Discrete Mathematics and Theoretical Computer Science
Proceedings of a Dimacs Workshop January 14-17, 1996 Princeton University
DIMACS: Series in Discrete Mathematics and Theoretical Computer Science
Proceedings of a Dimacs Workshop January 14-17, 1996 Princeton University
Finite model theory can be succinctly described as the study of logics on finite structures. It is an area of research existing between mathematical logic and computer science. This volume presents articles by leading researchers who delivered talks at the 'Workshop on Finite Models and Descriptive Complexity' at Princeton in January 1996.
Bezorgen: Zodra beschikbaar
Finite model theory can be succinctly described as the study of logics on finite structures. It is an area of research existing between mathematical logic and computer science. This volume presents articles by leading researchers who delivered talks at the 'Workshop on Finite Models and Descriptive Complexity' at Princeton in January 1996.
