Similar Items: Encodability Criteria for Quantum Based Systems
- Distributed Quantum Circuit Optimisation: Evaluating Global and Local encodings
- Faithful (meta-)encodings of programmable strategies into term rewriting systems
- Compositional Confluence Criteria
- Encoding Monomorphic and Polymorphic Types
- Linear Encodings of Bounded LTL Model Checking
- Encoding many-valued logic in $lambda$-calculus