KTH Royal Institute of Technology / Simons Institute / University of California / /
IndustryTerm
by-product / stronger proof systems / resolution proof systems / proof systems / /
Organization
University of California / Berkeley / Simons Institute for the Theory of Computing / Institute of Technology / USA School of Computer Science and Communication / /
Person
Mladen Mikša / Massimo Lauria / Bill Editors / Yuval Filmus / Jakob Nordström / Marc Vinyals / /
Position
Editor / /
ProvinceOrState
California / /
PublishedMedium
the Theory of Computing / /
Technology
2.2 Nonnumerical Algorithms / Digital Object Identifier / /