finite-model theory

Show Summary Details

Quick Reference

A branch of the study of computational complexity in which complexity classes are characterized by definitions that use logical languages applied to finite structures. Connections between resource bounds and formal definitions constitute a research area with great potential.

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.