On modal characterisation theorems over finite structures with applications to graph neural networks
Bisimulations capture a natural notion of equivalence for elements in relational structures, which was independently discovered in different areas of computer science. The relevance of bisimulations across fields naturally motivates the characterisation of the bisimulation-invariant fragments for va...
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Thesis |
| Sprog: | English |
| Udgivet: |
2024
|