Robert Stark. Cut-property and negation as failure. International Journal of Foundations of Computer Science, 5:129-164, 1994. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Proof-Theoretic Notions for Software Maintenance - Kahle (2000) (Correct)
....to programming languages which uses this framework for software maintenance or the other possible applications mentioned above. The view of programs as deductive systems introduced by Halln as and Schroeder Heister [HSH90, SH91] and also adopted by J ager and St ark 10 [J ag94, JS98, St a91, St a94] for the analysis of logic programming starts with a proof theoretic perspective, too. Mainly, it emphasizes the usefulness and importance of rules in the modeling of extensions of logic programming. As a somehow complementary approach we can consider the approach of proofs as programs. Here, we ....
Robert Stark. Cut-property and negation as failure. International Journal of Foundations of Computer Science, 5:129-164, 1994.
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