The logic of identity and copy for computational artefacts.

Nicola Angius Giuseppe Primiero

Published in: J. Log. Comput. (2018)

Keyphrases

logic programming
data sets
search engine
image sequences
mathematical programming
probability theory
artificial intelligence
information systems
access control
modal logic
classical logic
computational tools
identity management
asynchronous circuits
ctl model update