Article Dans Une Revue
Lecture Notes in Computer Science
Année : 2019
Rachid Echahed : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03066699
Soumis le : mardi 15 décembre 2020-13:53:42
Dernière modification le : jeudi 4 avril 2024-18:21:54
Citer
Jon Haël Brenas, Rachid Echahed, Martin Strecker. Reasoning Formally About Database Queries and Updates. Lecture Notes in Computer Science, 2019, pp.556-572. ⟨10.1007/978-3-030-30942-8_33⟩. ⟨hal-03066699⟩
Collections
37
Consultations
0
Téléchargements