Similar Items: Sahlqvist via Translation
- Complexity results for modal logic with recursion via translations and tableaux
- Existential witness extraction in classical realizability and via a negative translation
- RGB-to-NIR Facial Image Translation via Lightweight Generative Adversarial Network
- Linear-use CPS translations in the Enriched Effect Calculus
- Modular, Fully-abstract Compilation by Approximate Back-translation
- A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets