CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project explores finite model theory, a branch of logic that focuses on finite models relevant to computer science. It aims to bridge the gap between different methodologies in logic and computation, enhancing the understanding of expressiveness and complexity in computational models.
The present project is positioned in the research area of logic and semantics of computation, combining a rich mathematical theory with concrete applications in computer science.
Finite model theory (FMT) is the specialisation of model theory to the class of finite models, and has been called ``the logic of computer science'' because in the latter field the basic models of computation are finite.
Most of the classical results of model theory fail when restricted to finite models, hence FMT is st…
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
