Data di Pubblicazione:
2019
Citazione:
A logic of efficient and optimal designs / G. Primiero. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - 29:6(2019 Oct), pp. 947-968. [10.1093/logcom/exz014]
Abstract:
Logics of design have been formulated until recently to offer systematic treatments of the way systems express the relation between resources, processes and their outputs. We present a logic of systems design which explicitly formalizes this relation as a decidable checking problem on resource access and define computable efficiency and optimality properties.
Tipologia IRIS:
01 - Articolo su periodico
Elenco autori:
G. Primiero
Link alla scheda completa:
Link al Full Text: