On a Partial Decision Method for Dynamic Proofs
| Title | On a Partial Decision Method for Dynamic Proofs |
| Publication Type | Book Chapter (with title) |
| Authors | Batens, D |
| Secondary Authors | Dekker, H, Villadsen, J, Waragai, T |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-152456 |
|---|---|
| Download PDF |
 (Author PDF) |
UGent Biblio Link:
PDF author (public):