( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Incremental Equational Constraint Analyses.

, , и . ILPS, стр. 657. MIT Press, (1993)

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

 

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

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)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)Preface for SCP special issue on Principles and Practice of Declarative Programming.. Sci. Comput. Program., (2018)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)Rules + strategies for transforming lazy functional logic programs., , , и . Theor. Comput. Sci., 311 (1-3): 479-525 (2004)Preface., и . Theor. Comput. Sci., (2012)