Soundness and Completeness Proofs by Coinductive Methods
Research output: Contribution to journal › Journal article › Research › peer-review
Original language | English |
---|---|
Journal | Journal of Automated Reasoning |
Volume | 58 |
Issue number | 1 |
Pages (from-to) | 149-179 |
Number of pages | 31 |
ISSN | 0168-7433 |
DOIs | |
Publication status | Published - 2017 |
Externally published | Yes |
ID: 245669160