The logic of identity and copy for computational artefacts
From MaRDI portal
Publication:4612442
DOI10.1093/logcom/exy012zbMath1444.03002OpenAlexW2788901463WikidataQ130140925 ScholiaQ130140925MaRDI QIDQ4612442
Nicola Angius, Giuseppe Primiero
Publication date: 31 January 2019
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://eprints.mdx.ac.uk/23616/1/Identityv4c.pdf
Philosophical and critical aspects of logic and foundations (03A05) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic in the philosophy of science (03A10)