Resolution Games and Non-Liftable Resolution Orderings release_q5impib5ibewzjgvw5jdfqk664

by Hans de Nivelle

Published in Collegium Logicum by Springer Vienna.

1996   p1-20

Archived Files and Locations

application/pdf  158.5 kB
file_nx3znpvsjrfipciycnr32z44g4
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.ii.uni.wroc.pl (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   1996
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: a532cd96-7fd8-429b-bd08-0d270e850065
API URL: JSON