Brigitte Pientka. Tabling for higher-order logic programming. In R. Nieuwenhuis, editor, 20th International Conference on Automated Deduction, Talinn, Estonia, Lecture Notes in Computer Science (LNCS) (to appear). Springer-Verlag, 2005.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Small proof witnesses for LF - Sarkar, Pientka, Crary (2005)   Self-citation (Pientka)   (Correct)

No context found.

Brigitte Pientka. Tabling for higher-order logic programming. In R. Nieuwenhuis, editor, 20th International Conference on Automated Deduction, Talinn, Estonia, Lecture Notes in Computer Science (LNCS) (to appear). Springer-Verlag, 2005.

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