scientific article; zbMATH DE number 7214003

DOI10.4204/EPTCS.278zbMath1441.68010arXiv1809.04554MaRDI QIDQ5114417

No author found.

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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (1)

Analyzing read-once cutting plane proofs in Horn systems

This page was built for publication: