( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Semantics of templates in a compositional framework for building logics.

, , , и . Theory Pract. Log. Program., 15 (4-5): 681-695 (2015)

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.

Uwe Janssens

Ursula Gerdau

Thomas Gerdau

Uwe Janssens

Josefina Janssens

 

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

Live-Structure Analysis for Logic Programming Languages with Declarations., , и . ICLP, стр. 33-47. MIT Press, (1997)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)Region-based memory management for Mercury programs, , и . CoRR, (2012)A Delta Debugger for ILP Query Execution, и . CoRR, (2007)ProbLog Technology for Inference in a Probabilistic First Order Logic., , , , , , и . ECAI, том 215 из Frontiers in Artificial Intelligence and Applications, стр. 719-724. IOS Press, (2010)Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis., , , и . APLAS, том 3780 из Lecture Notes in Computer Science, стр. 330-346. Springer, (2005)Static Region Analysis for Mercury., и . ICLP, том 4670 из Lecture Notes in Computer Science, стр. 317-332. Springer, (2007)Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs., и . META, том 649 из Lecture Notes in Computer Science, стр. 294-307. Springer, (1992)Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3., , и . Theory Pract. Log. Program., 13 (4-5): 691-704 (2013)