( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling.

, , и . Theory Pract. Log. Program., 10 (4-6): 401-416 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Daniel Warren

Warren Chan

Maria Warren

Martina Christine Scotti

Pierre-François Scotto

 

Другие публикации лиц с тем же именем

Multiple Terms in a Tabled Logic Programming System., и . ICLP, стр. 305-319. MIT Press, (1999)Efficient Prolog Memory Management for Flexible Control Strategies.. SLP, стр. 198-202. IEEE-CS, (1984)Automatic Mode Inference for Prolog Programs., и . SLP, стр. 78-88. IEEE-CS, (1986)Goal-Directed Evaluation of Well-Founded Sematics for XSB., , и . ILPS, стр. 679. MIT Press, (1993)Efficient Access Mechanisms for Tabled Logic Programs., , , , и . J. Log. Program., 38 (1): 31-54 (1999)An Abstract Machine for Computing the Well-Founded Semantics., , и . JICSLP, стр. 274-288. MIT Press, (1996)Objects as Intensions., и . ICLP/SLP, стр. 404-419. MIT Press, (1988)TCHR: a framework for tabled CLP, , и . CoRR, (2007)Constraint Handling Rules and Tabled Execution., и . ICLP, том 3132 из Lecture Notes in Computer Science, стр. 120-136. Springer, (2004)An Abstract Machine for Fixed-Order Dynamically Stratified Programs., , и . CADE, том 1104 из Lecture Notes in Computer Science, стр. 328-342. Springer, (1996)