Similar Items: Collusion Relations and their Applications to Balance Theory
- Type Theory With Erasure
- Relational Dualities and Bisimulation
- Multiset semantics in SPARQL, Relational Algebra and Datalog
- Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- Verification of Neural Networks (Lecture Notes)