R. Arruabarrena, P. Lucio, and M. Navarro. A strong logic programming view for static embedded implication. In Proc. of the 2 nd Int. Conf. of Foundation of Software Science and Computation Structures (FOSSACS'99), pages 56--72, 1999.  Home/Search   Document Not in Database   Summary   Related Articles

....language is defined, basically, by two special classes of sentences of an underlying logic: programs and goals for which the underlying logic is suitable from a model theoretic point of view and from a proof theoretic point of view. Once FO oe was defined, Arruabarrena, Lucio and Navarro [5], based on the claim of Messeguer, have characterized the static intuitionistic logic programming language as a strong logic programming. They have called this language Horn oe . For that purpose, FO oe has been considered the underlying logic and the three properties mentioned above were ....

R. Arruabarrena, P. Lucio, and M. Navarro. A strong logic programming view for static embedded implication. In Proc. of the 2 nd Int. Conf. of Foundation of Software Science and Computation Structures (FOSSACS'99), pages 56--72, 1999.

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