Similar Items: Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering
- Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
- TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving
- Non-negative Rational Semantic Numeration Systems
- Zero-Knowledge Model Checking
- Graded Monad Coalgebras for Continuous-Time Transition Systems
- Full Definability in a Profunctorial Model