Similar Items: Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
- Disjoint-union partial algebras
- An extensible equality checking algorithm for dependent type theories
- Full abstraction for fair testing in CCS (expanded version)
- Expressivity of AuDaLa: Turing Completeness and Possible Extensions
- Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
- Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features