Selected Scientific Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Robert Nieuwenhuis  [Clear All Filters]
2001
Bagnara R, Zaffanella E, Gori R, Hill PM.  2001.  Boolean Functions for Finite-Tree Dependencies. Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001). 2250:579–594.