DMCA

Boolean functions for finite-tree dependencies (2001)

by Roberto Bagnara , Enea Zaffanella , Roberta Gori , Patricia M. Hill
Venue: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (LPAR 2001), R. NIEUWENHUIS AND A. VORONKOV, EDS. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Citations:4 - 2 self