Publications
Export 1 results:
Author Title Type [ Year] Filters: Author is Waragai, Toshiharu [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.