Publications

about 'Non-determinism.'

Conference articles

  1. Jerzy Karczmarczuk. Programming for the Humanities. In Proceedings of the 8th International Conference on Computer Supported Education, CSEDU 2016, Portugal, pages 298-305, 2016. SCITEPRESS - Science and Technology Publications, Lda. ISBN: 978-989-758-179-3. [WWW] [doi:10.5220/0005791202980305] Keyword(s): Abstraction, Constraint programming, Logic, Non-determinism., Prolog.
  2. François Degrave, Tom Schrijvers, and Wim Vanhoof. Automatic generation of test inputs for Mercury. In M. Hanus, editor, LOPSTR08l, volume 5438 of LNCS, 2009. SV. [doi:10.1007/978-3-642-00515-2] Keyword(s): applications, testing.

BACK TO INDEX