Dataset - CKAN

A logical approach to locality in pictures languages

International audience
- HTML
Algebras, automata and logic for languages of labeled birooted trees

International audience
- HTML
Forcing MSO on Infinite Words in Weak MSO

International audience
- HTML
Logic and branching automata

International audience
- HTML
Verifying Communicating Multi-pushdown Systems

International audience
- HTML

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