Similar Items: Efficient Evaluation of Arbitrary Relational Calculus Queries
- Strongly-Normalizing Higher-Order Relational Queries
- Relational Models for the Lambek Calculus with Intersection and Constants
- Answering Non-Monotonic Queries in Relational Data Exchange
- Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
- Decision problems for linear recurrences involving arbitrary real numbers
- Decidability of One-Clock Weighted Timed Games with Arbitrary Weights