9780821805176 - descriptive complexity and finite models: proceedings of a dimacs workshop january 14-17, 1996 princeton university (dimacs series in discrete mathematics and theoretical computer science) von dimacs workshop on descriptive complexity and finite models (1996 : princeton university) (2 Ergebnisse)

Zustand: New. 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 P…