Reinhard Kahle. A proof-theoretic view of necessity. 200x. Submitted. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Proof-Theoretic Notions for Software Maintenance - Kahle (2000) Self-citation (Kahle) (Correct)
....in a reduction of the possible cases. By using this information systematically, one can prune the distinctions and ending up with a better, i.e. more ecient, program. Finally, there is already a discussion of the proof theoretic notions, introduced here, in a logical and in a linguistic context, Kah0x, Kah99] ....
Reinhard Kahle. A proof-theoretic view of necessity. 200x. Submitted.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC