( en | de | ru )

 

Disambiguation of "Vanhoof, Wim"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a Normal Form for Mercury Programs.

, and . LOPSTR, volume 4915 of Lecture Notes in Computer Science, page 43-58. Springer, (2007)

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. You can also use the button next to the name to display some publications already assigned to the person.

Wim Wätjen

Wim Lutzke

Wim Broekaert

Wim Beyers

Wim Damen

 

Other publications of authors with the same name

Towards testing of full-scale SQL applications using relational symbolic execution., , and . CSTVA, page 12-17. ACM, (2014)Binding-Time Analysis for Mercury., , and . Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, Springer, (2004)Neuroevolutionary Transfer Learning for Time Series Forecasting., , , and . SOCO (1), volume 749 of Lecture Notes in Networks and Systems, page 219-228. Springer, (2023)Clones in Logic Programs and How to Detect Them., and . LOPSTR, volume 7225 of Lecture Notes in Computer Science, page 90-105. Springer, (2011)On Detecting Semantic Clones in Constraint Logic Programs., and . IWSC, page 32-38. IEEE, (2022)Moulinog: A Generator of Random Student Assignments Written in Prolog., , and . PPDP, page 15:1-15:5. ACM, (2020)Reuse of Results in Termination Analysis of Typed Logic Programs., , , and . SAS, volume 2477 of Lecture Notes in Computer Science, page 477-492. Springer, (2002)Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)., and . CoRR, (2021)Specialising the Other Way Arond., , , and . IJCSLP, page 279-293. MIT Press, (1998)Declarative workflows to efficiently manage flexible and advanced business processes., , , and . PPDP, page 209-218. ACM, (2010)