- Author
- Dagmar Provijn (UGent) and Joke Meheus (UGent)
- Organization
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-332161
- MLA
- Provijn, Dagmar, and Joke Meheus. “Direct Dynamic Proofs for Classical Compatibility.” LOGIQUE ET ANALYSE, vol. 185–188, 2004, pp. 305–17.
- APA
- Provijn, D., & Meheus, J. (2004). Direct dynamic proofs for classical compatibility. LOGIQUE ET ANALYSE, 185–188, 305–317.
- Chicago author-date
- Provijn, Dagmar, and Joke Meheus. 2004. “Direct Dynamic Proofs for Classical Compatibility.” LOGIQUE ET ANALYSE 185–188: 305–17.
- Chicago author-date (all authors)
- Provijn, Dagmar, and Joke Meheus. 2004. “Direct Dynamic Proofs for Classical Compatibility.” LOGIQUE ET ANALYSE 185–188: 305–317.
- Vancouver
- 1.Provijn D, Meheus J. Direct dynamic proofs for classical compatibility. LOGIQUE ET ANALYSE. 2004;185–188:305–17.
- IEEE
- [1]D. Provijn and J. Meheus, “Direct dynamic proofs for classical compatibility,” LOGIQUE ET ANALYSE, vol. 185–188, pp. 305–317, 2004.
@article{332161,
author = {{Provijn, Dagmar and Meheus, Joke}},
issn = {{0024-5836}},
journal = {{LOGIQUE ET ANALYSE}},
language = {{und}},
pages = {{305--317}},
title = {{Direct dynamic proofs for classical compatibility}},
volume = {{185-188}},
year = {{2004}},
}