Similar Items: A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
- Symbolic and Asynchronous Semantics via Normalized Coalgebras
- Game Comonads & Generalised Quantifiers
- Extending set functors to generalised metric spaces
- Generalised Mermin-type non-locality arguments
- Decidability of extensions of Presburger arithmetic by generalised polynomials
- Inferring Symbolic Automata