9 citations · 17 across the 4 of their papers we have counts for
1 paper · 2 filters
Willem Conradie, Claudette Robinson
We introduce hybrid algebras as algebraic semantics for hybrid languages with nominals and, possibly, the satisfaction operator. We establish a duality between hybrid algebras and…