A Aralex Aachen research explorer

Unit RWTH Aachen University

Mathematical Foundations of Computer Science Sign in to save

7 authors · 15 authorships · All papers →

People 7

7 results

Papers 9

Automatic Structures
2020 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science semigroups and automata theory

12

citations
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
2022 Annals of Pure and Applied Logic article Physics and Astronomy Quantum Mechanics and Applications Open access

9

citations
Logics with Multiteam Semantics
2022 ACM Transactions on Computational Logic article Computer Science Logic, Reasoning, and Knowledge Open access

8

citations
Limitations of the invertible-map equivalences
2022 Journal of Logic and Computation article Computer Science Advanced Graph Theory Research Open access

4

citations
Choiceless Computation and Symmetry: Limitations of Definability
2021 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

4

citations
Separation logic and logics with team semantics
2021 Annals of Pure and Applied Logic article Computer Science Logic, Reasoning, and Knowledge

3

citations
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
2021 Logical Methods in Computer Science article Computer Science Logic, Reasoning, and Knowledge Open access

2

citations
Logics of dependence and independence: The local variants
2021 Journal of Logic and Computation article Computer Science Logic, Reasoning, and Knowledge Open access

1

citations
On the Presburger fragment of logics with multiteam semantics
2022 Annals of Pure and Applied Logic article Computer Science Logic, Reasoning, and Knowledge

1

citations

9 results