Loading...
Loading...

Go to the content (press return)

A Combinatorial Characterization of Treelike Resolution Space

Author
Esteban, J. L.; Toran, J.
Type of activity
Journal article
Journal
Electronic colloquium on computational complexity
Date of publication
2003-06
Volume
10
Number
44
First page
1
Last page
10
URL
http://www.eccc.uni-trier.de/eccc-reports/2003/TR03-044/index.html Open in new window
Group of research
LOGPROG - Logic and Programming

Participants