Resolution over linear equations and multilinear proofs release_n6f6awapx5e4vljh3k7yicciqm

by Ran Raz, Iddo Tzameret

Published in Annals of Pure and Applied Logic by Elsevier BV.

2008   Volume 155, p194-224

Archived Files and Locations

application/pdf  637.5 kB
file_airh7nbzhjffpdpucjz6fwezvq
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.wisdom.weizmann.ac.il (web)
www.wisdom.weizmann.ac.il (web)
application/pdf  548.9 kB
file_qexxyk733bahtbrqsw5ryniqiu
www.cs.rhul.ac.uk (web)
web.archive.org (webarchive)
application/pdf  537.1 kB
file_qpjg6eiyz5h7zd7i7aoruw5e5q
web.archive.org (webarchive)
www.math.cas.cz (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2008
Language   en ?
Container Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0168-0072
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: d84bb516-812c-404a-ae89-8e6e2acf7e9f
API URL: JSON