( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Time Equations for Lazy Functional (Logic) Languages.

, , и . APPIA-GULP-PRODE, стр. 13-24. (2003)

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 Errázuriz

Germán Posada

Germán Berone

Germán Spangenberg

Angéla Germán

 

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

Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation., , и . WFLP, том 5979 из Lecture Notes in Computer Science, стр. 111-127. Springer, (2009)Conversion to tail recursion in term rewriting., и . J. Log. Algebraic Methods Program., 83 (1): 53-63 (2014)Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs., , , и . LOPSTR, том 10184 из Lecture Notes in Computer Science, стр. 131-147. Springer, (2016)A Reversible Semantics for Erlang., , и . LOPSTR, том 10184 из Lecture Notes in Computer Science, стр. 259-274. Springer, (2016)A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs.. LOPSTR, том 6564 из Lecture Notes in Computer Science, стр. 200-214. Springer, (2010)Towards Symbolic Execution in Erlang.. Ershov Memorial Conference, том 8974 из Lecture Notes in Computer Science, стр. 351-360. Springer, (2014)Quasi-terminating logic programs for ensuring the termination of partial evaluation.. PEPM, стр. 51-60. ACM, (2007)Towards a Taxonomy for Reversible Computation Approaches., , , , , , и . RC, том 13960 из Lecture Notes in Computer Science, стр. 24-39. Springer, (2023)Causal-Consistent Reversible Debugging: Improving CauDEr., и . PADL, том 12548 из Lecture Notes in Computer Science, стр. 145-160. Springer, (2021)An Automatic Composition Algorithm for Functional Logic Programs., , , и . SOFSEM, том 1963 из Lecture Notes in Computer Science, стр. 289-297. Springer, (2000)