Steffen van Bergerem
From MaRDI portal
Person:6434295
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Learning concepts described by weight aggregation logic | 2026-03-23 | Paper |
| Simulating logspace-recursion with logarithmic quantifier depth | 2026-02-27 | Paper |
| Verification of population protocols with unordered data | 2026-01-14 | Paper |
| Learning concepts definable in first-order logic with counting Logical Methods in Computer Science | 2025-09-25 | Paper |
| Learning concepts definable in first-order logic with counting | 2024-12-19 | Paper |
| Simulating Logspace-Recursion with Logarithmic Quantifier Depth | 2023-04-25 | Paper |
Research outcomes over time
This page was built for person: Steffen van Bergerem
