"Upper and Lower Bounds on the Complexity of Generalised Resolution and ..."

Oliver Kullmann (2004)

Details and statistics

DOI: 10.1023/B:AMAI.0000012871.08577.0B

access: closed

type: Journal Article

metadata version: 2017-05-28

a service of  Schloss Dagstuhl - Leibniz Center for Informatics