From post

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.

 

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

Binding-Time Analysis for Mercury., , и . Program Development in Computational Logic, том 3049 из Lecture Notes in Computer Science, Springer, (2004)Fingerprinting Logic Programs, и . CoRR, (2007)Towards testing of full-scale SQL applications using relational symbolic execution., , и . CSTVA, стр. 12-17. ACM, (2014)Offline specialisation in Prolog using a hand-written compiler generator., , , и . Theory Pract. Log. Program., 4 (1-2): 139-191 (2004)A Dataflow Analysis for Comparing and Reordering Predicate Arguments., и . ICLP, том 385 из EPTCS, стр. 41-54. (2023)Neuroevolutionary Transfer Learning for Time Series Forecasting., , , и . SOCO (1), том 749 из Lecture Notes in Networks and Systems, стр. 219-228. Springer, (2023)On Detecting Semantic Clones in Constraint Logic Programs., и . IWSC, стр. 32-38. IEEE, (2022)Clones in Logic Programs and How to Detect Them., и . LOPSTR, том 7225 из Lecture Notes in Computer Science, стр. 90-105. Springer, (2011)Moulinog: A Generator of Random Student Assignments Written in Prolog., , и . PPDP, стр. 15:1-15:5. ACM, (2020)Reuse of Results in Termination Analysis of Typed Logic Programs., , , и . SAS, том 2477 из Lecture Notes in Computer Science, стр. 477-492. Springer, (2002)