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 : mardi 12 novembre 2024-15:20:06
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
50
Consultations
0
Téléchargements