scientific article; zbMATH DE number 6838736

zbMATH Open1380.68006MaRDI QIDQ4603067FDOQ4603067

Authors:

Publication date: 14 February 2018

Full work available at URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8100284&punumber%3D8100284%26filter%3DAND%28p_IS_Number%3A8104011%29%26pageNumber%3D5&pageNumber=1

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Algorithms in computer science (68Wxx) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Discrete mathematics in relation to computer science (68Rxx) Theory of computing (68Qxx)

Cited In (2)

• Proof complexity and beyond. Abstracts from the workshop held August 13--19, 2017
• Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4603067)