( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019.

, , , , , , , , , и (Ред.) том 306 из EPTCS, (2019)

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.

Germán Posada

Germán Errázuriz

Germán Berone

Angéla Germán

Germán Spangenberg

 

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

Proceedings of CICLOPS-WLPE 2010, и . CoRR, (2010)Towards Reversible Computation in Erlang., , и . CoRR, (2016)Dynamic slicing of lazy functional programs based on redex trails., , и . High. Order Symb. Comput., 21 (1-2): 147-192 (2008)Reducing Relative Termination to Dependency Pair Problems., , , и . CADE, том 9195 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2015)Incremental Equational Constraint Analyses., , и . ILPS, стр. 657. MIT Press, (1993)Fast Offline Partial Evaluation of Large Logic Programs., и . LOPSTR, том 5438 из Lecture Notes in Computer Science, стр. 119-134. Springer, (2008)Symbolic Profiling for Multi-paradigm Declarative Languages., и . LOPSTR, том 2372 из Lecture Notes in Computer Science, стр. 148-167. Springer, (2001)Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages., , и . LOPSTR (LNCS 2042: Selected Papers), том 2042 из Lecture Notes in Computer Science, стр. 103-124. Springer, (2000)Concolic Execution and Test Case Generation in Prolog.. LOPSTR, том 8981 из Lecture Notes in Computer Science, стр. 167-181. Springer, (2014)Using Narrowing Approximations to Optimize Equational Logic Programs., , , и . GULP, стр. 127-142. (1993)