Publications

of Vincent Nys

Conference articles

  1. Vincent Nys and Danny De Schreye. Transforming Coroutining Logic Programs into Equivalent CHR Programs. In Fifth International Workshop on Verification and Program Transformation (VPT 2017), April 2017.

BACK TO INDEX