Article Dans Une Revue
Logical Methods in Computer Science
Année : 2016
Filippo Bonchi : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01284910
Soumis le : mardi 8 mars 2016-11:40:14
Dernière modification le : jeudi 11 mai 2023-11:56:10
Dates et versions
Identifiants
- HAL Id : hal-01284910 , version 1
- ARXIV : 1502.06095
- DOI : 10.2168/LMCS-11(1:14)2015
Citer
Filippo Bonchi, Fabio Zanasi. Bialgebraic Semantics for Logic Programming. Logical Methods in Computer Science, 2016, ⟨10.2168/LMCS-11(1:14)2015⟩. ⟨hal-01284910⟩
Collections
39
Consultations
0
Téléchargements