A verified algebra for read-write Linked Data

HORNE, Ross James ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Sassone, Vladimiro

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

A verified algebra for read-write Linked Data

Date de publication/diffusion :

2014

Titre du périodique :

Science of Computer Programming

ISSN :

0167-6423

Maison d'édition :

Elsevier, Pays-Bas

Volume/Tome :

Pagination :

2--22

Peer reviewed :

Peer reviewed vérifié par ORBi

Focus Area :

Security, Reliability and Trust

Disponible sur ORBilu :

depuis le 23 novembre 2018

Statistiques

Nombre de vues

83 (dont 1 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

OpenCitations

citations OpenAlex

citations WoS^™