Bialgebraic Semantics for Logic Programming - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Logical Methods in Computer Science Année : 2016

Bialgebraic Semantics for Logic Programming

Dates et versions

hal-01284910 , version 1 (08-03-2016)

Identifiants

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⟩
39 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More