Sequent Systems for Negative Modalities
- Ori Lahav
- , João Marcos
- , Yoni Zohar
- Max Planck Institute for Software Systems
- Universidade Federal do Rio Grande do Norte
- Tel Aviv University
Research output: Contribution to journal › Article › peer-review
10
Scopus
citations