2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Chase Ford, Stefan Milius, Lutz Schröder
We introduce a framework for universal algebra in categories of relational structures given by finitary relational signatures and finitary or infinitary Horn theories, with the ari…