A logic of efficient and optimal designs

DOI10.1093/LOGCOM/EXZ014zbMath1444.03120OpenAlexW2986633748MaRDI QIDQ5212560

Giuseppe Primiero

Publication date: 29 January 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2434/688049

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A logic of efficient and optimal designs