activity
20172025
most citedA Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing math.GMShow all

1 paper · 1 filter

math.GM2025

Generalized quasiorders: constructions and characterizations

D. Jakubíková-Studenovská, R. Pöschel, S. Radeleczki

Quasiorders have the property that an operation preserves if and only if each (unary) translation obtained from is an endomorp…