Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Martin Grohe
Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Weisfeiler and Leman Go Neural: Higher-Order Graph Neural Networks
Proceedings of the AAAI Conference on Artificial Intelligence
Complete Problems for Fixed-Point Logics
Journal of Symbolic Logic
Philosophy
Logic
On Fixed-Point Logic With Counting
Journal of Symbolic Logic
Philosophy
Logic
Preservation Under Extensions on Well-Behaved Finite Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Comparing the Succinctness of Monadic Query Languages Over Finite Trees
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
Locally Excluding a Minor