Similar Items: Ziplign: a simple-to-use interactive tool to compare bacterial genomes
- A Rewriting View of Simple Typing
- Dualized Simple Type Theory
- Simple Classes of Automatic Structures
- Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata
- The Completeness of Propositional Resolution: A Simple and Constructive Proof
- Model Checking Lower Bounds for Simple Graphs