Similar Items: Continuations and Completeness in Proof-theoretic Semantics
- Preservation Theorems in Semiring Semantics
- Efficient Decision Procedures for RNmatrix Semantics
- Non-negative Rational Semantic Numeration Systems
- Multiset semantics in SPARQL, Relational Algebra and Datalog
- Evidence-Tracked Tape Semantics for Probabilistic Computation
- Weighted Rules under the Stable Model Semantics