( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Partial Inversion of Inductively Sequential Functions.

, и . IFL, том 4449 из Lecture Notes in Computer Science, стр. 253-270. Springer, (2006)

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

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)Quasi-terminating logic programs for ensuring the termination of partial evaluation.. PEPM, стр. 51-60. ACM, (2007)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)Conversion to tail recursion in term rewriting., и . J. Log. Algebraic Methods Program., 83 (1): 53-63 (2014)Towards Symbolic Execution in Erlang.. Ershov Memorial Conference, том 8974 из Lecture Notes in Computer Science, стр. 351-360. Springer, (2014)Causal-Consistent Reversible Debugging: Improving CauDEr., и . PADL, том 12548 из Lecture Notes in Computer Science, стр. 145-160. Springer, (2021)Towards a Taxonomy for Reversible Computation Approaches., , , , , , и . RC, том 13960 из Lecture Notes in Computer Science, стр. 24-39. Springer, (2023)An Automatic Composition Algorithm for Functional Logic Programs., , , и . SOFSEM, том 1963 из Lecture Notes in Computer Science, стр. 289-297. Springer, (2000)