19 citations · 41 across the 8 of their papers we have counts for
9 papers
Learning Weighted Automata over Number Rings, Concretely and Categorically
Quentin Aristote, Sam van Gool, Daniela Petrişan +1
We develop a generic reduction procedure for active learning problems. Our approach is inspired by a recent polynomial-time reduction of the exact learning problem for weighted aut…
First-order separation over countable ordinals
Thomas Colcombet, Sam van Gool, Rémi Morvan
We show that the existence of a first-order formula separating two monadic second order formulas over countable ordinal words is decidable. This extends the work of Henckell and Al…
Time Warps, from Algebra to Algorithms
Sam van Gool, Adrien Guatto, George Metcalfe +1
Graded modalities have been proposed in recent work on programming languages as a general framework for refining type systems with intensional properties. In particular, continuous…
Uniform Interpolation and Compact Congruences
S. J. v. Gool, G. Metcalfe, C. Tsinakis
Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the fin…
Sheaves and Duality
M. Gehrke, S. J. v. Gool
It has long been known in universal algebra that any distributive sublattice of congruences of an algebra which consists entirely of commuting congruences yields a sheaf representa…
Pointlike sets for varieties determined by groups
Samuel J. v. Gool, B. Steinberg
For a variety of finite groups , let denote the variety of finite semigroups all of whose subgroups lie in . We give a characterization…