Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
2002 | Logical Algorithms In: Logic Programming. 18th International Conference, ICLP 2002, 209-223 | GanzingerMcAllester-02-iclp | |||||
2001 | A new meta-complexity theorem for bottom-up logic programs In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528 | GanzingerMcAllester-01-ijcar | |||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
|