Publications

of Igor Stéphan

Conference articles

  1. Vincent Barichard and Igor Stéphan. Quantified Constraint Handling Rules. In Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019), 2019.
  2. Igor Stéphan. A New Proof-Theoretical Linear Semantics for CHR. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), 2018.

BACK TO INDEX