Similar Items: On the mathematical synthesis of equational logics
- Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
- Parameterized Synthesis
- Logical Step-Indexed Logical Relations
- Automated Synthesis of Tableau Calculi
- The Church Synthesis Problem with Parameters