Publications
Export 1 results:
Author Title Type [ Year
] Filters: Author is Villadsen, Jorgen [Clear All Filters]
. 2002. “On A Partial Decision Method For Dynamic Proofs” . PCL 2002. Paraconsistent Computational Logic 95: 91–108. http://arxiv.org/abs/cs.LO/0207090.
