×

Found 36 Documents (Results 1–36)

On the sum-of-squares degree of symmetric quadratic functions. (English) Zbl 1380.68203

Raz, Ran (ed.), 31st conference on computational complexity, CCC’16, Tokyo, Japan, May 29 – June 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-008-8). LIPIcs – Leibniz International Proceedings in Informatics 50, Article 17, 31 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Comments on Müller and Tzameret. (English) Zbl 1320.03085

van Benthem, Johan (ed.) et al., Logic across the university: foundations and applications. Proceedings of the Tsinghua logic conference, Beijing, China, October 14–16, 2013. London: College Publications (ISBN 978-1-84890-122-3/pbk). Studies in Logic (London) 47, 212-213 (2013).
MSC:  03F20 03B05
PDFBibTeX XMLCite

Arguing for inconsistency: dialectical games in the academy. (English) Zbl 1255.01003

Primiero, Giuseppe (ed.) et al., Acts of knowledge. History, philosophy and logic. Essays dedicated to Göran Sundholm. London: College Publications (ISBN 978-1-904987-92-5/pbk). Tributes 9, 35-71 (2009).
PDFBibTeX XMLCite

A symbolic calculus on defect revisions of axiomatic systems. (English) Zbl 1176.03007

Shum, K. P. (ed.) et al., Advances in algebra and combinatorics. Proceedings of the 2nd international congress in algebra and combinatorics, Guangzhou, China, July 2–4, 2007, Beijing, China, July 6–11, 2007 and Xian, China, July 12–15, 2007. Hackensack, NJ: World Scientific (ISBN 978-981-279-000-2/hbk). 275-291 (2008).
MSC:  03B35 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

Compressing propositional refutations. (English) Zbl 1335.68222

Merz, Stephan (ed.) et al., Proceedings of the 6th international workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, September 18–19, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 185, 3-15 (2007).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software