From post

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.

 

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

Live-Structure Analysis for Logic Programming Languages with Declarations., , и . ICLP, стр. 33-47. MIT Press, (1997)Region-based memory management for Mercury programs, , и . CoRR, (2012)A Delta Debugger for ILP Query Execution, и . CoRR, (2007)Practical Aspects for a Working Compile Time Garbage Collection System for Mercury, , , и . CoRR, (2001)Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3., , и . Theory Pract. Log. Program., 13 (4-5): 691-704 (2013)Fast Frequent Querying with Lazy Control Flow Compilation., , , и . Theory Pract. Log. Program., 7 (4): 481-498 (2007)Experience with widening based equivalence checking in realistic multimedia systems., , , , и . HLDVT, стр. 122-129. IEEE Computer Society, (2009)Analyzing & debugging ILP data mining query execution., и . AADEBUG, стр. 105-110. ACM, (2005)Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis., , , и . APLAS, том 3780 из Lecture Notes in Computer Science, стр. 330-346. Springer, (2005)ProbLog Technology for Inference in a Probabilistic First Order Logic., , , , , , и . ECAI, том 215 из Frontiers in Artificial Intelligence and Applications, стр. 719-724. IOS Press, (2010)