scientific article; zbMATH DE number 7214003

DOI10.4204/EPTCS.278zbMATH Open1441.68010arXiv1809.04554MaRDI QIDQ5114417FDOQ5114417

Author name not available (Why is that?)

Publication date: 23 June 2020

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.04554

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (2)

• Title not available (Why is that?)
• Analyzing read-once cutting plane proofs in Horn systems

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 Q5114417)