Logique et Analyse
| Title | Direct Dynamic Proofs for Classical Compatibility |
| Publication Type | Journal Article |
| Authors | Meheus, J, Provijn, D |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-332161 |
|---|
UGent Biblio Link:
| Title | Direct Dynamic Proofs for Classical Compatibility |
| Publication Type | Journal Article |
| Authors | Meheus, J, Provijn, D |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-332161 |
|---|