Cyclic Hypersequent System for Transitive Closure Logic

Anupam Das, Marianna Girlando*

*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

48 Downloads (Pure)
Filter
Finished

Search results