Publications
Export 1 results:
Author [ Title![(Asc)](https://www.clps.ugent.be/sites/all/modules/biblio/misc/arrow-asc.png)
Filters: Author is Villadsen, Jorgen [Clear All Filters]
“On A Partial Decision Method For Dynamic Proofs” . PCL 2002. Paraconsistent Computational Logic 95: 91–108. http://arxiv.org/abs/cs.LO/0207090.
. 2002. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)