Author:
Filliâtre Jean-Christophe,Pereira Mário
Publisher
Springer International Publishing
Reference6 articles.
1. Filliâtre, J.C., Pottier, F.: Producing all ideals of a forest, functionally. J. Funct. Program. 13(5), 945–956 (2003)
2. Lecture Notes in Computer Science;B Jacobs,2011
3. Knuth, D.E.: An implementation of Koda and Ruskey’s algorithm (June 2001). http://www-cs-staff.stanford.edu/knuth/programs.html
4. Koda, Y., Ruskey, F.: A gray code for the ideals of a forest poset. J. Algorithms 15, 324–340 (1993)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);KRM Leino,2010