Dataset - CKAN

On the logical definability of certain graph and poset languages

We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order logic, a natural extension of monadic...
- HTML

You can also access this registry using the API (see API Docs).