A logic of efficient and optimal designs

DOI10.1093/LOGCOM/EXZ014MaRDI QIDQ5212560zbMATH OpenOpenAlexFDO

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

Recommendations

• scientific article; zbMATH DE number 43207
• scientific article; zbMATH DE number 3914078
• Synthesis of the automaton part of optimal logico-dynamical system
• Algebra and logic for resource-based systems modelling
• scientific article; zbMATH DE number 3918090

Cited in

(1)

• scientific article; zbMATH DE number 43207 (Why is no real title available?)

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

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