MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Tabling for Higher-Order Logic Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Tabled Higher-Order Logic Programming
by Brigitte Pientka — 2003 — In 20th International Conference on Automated Deduction
…Tabled higher-order logic programming Brigitte Pientka Carnegie Mellon University Abstract. Elf…
Cited by 18 (6 self) – Add To MetaCart

Higher-Order Substitution Tree Indexing
by Brigitte Pientka — 2003 — 19th International Conference on Logic Programming
… experimental results comparing the tabled higher-order logic programming interpreter with and without indexing…
Cited by 15 (5 self) – Add To MetaCart

Summary
by Brigitte Pientka
…Tabled higher-order logic programming Brigitte Pientka School of Computer Science Carnegie Mellon…
Add To MetaCart

Small proof witnesses for lf
by Susmit Sarkar, Brigitte Pientka, Karl Crary — In Maurizio Gabbrielli and Gopal Gupta, editors, 21th International Conference on Logic Programming
… to represent and execute safety policies via a higher-order logic program interpretation and has been employed…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB