Hierarchies in first-order logic and parameterized complexity
Finite model theory studies the expressive power of languages over finite structures. It explores the relations between collections of finite structures and the formal languages that are used to describe them. Properties, especially expressive powers, of logics and fragments of logics were intensive...
Main Author: | |
---|---|
Published: |
University of Cambridge
2011
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.603914 |