Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Ouvrages Année : 2018

Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation

Didier Galmiche
Logic, Proof Theory and Programming
David Pym
  • Fonction : Auteur
Department Computer Science [London]

Domaines

Logique en informatique [cs.LO]

Didier Galmiche  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01263208

Soumis le : mercredi 27 janvier 2016-15:10:34

Dernière modification le : lundi 11 septembre 2023-17:41:19

Fichier non déposé

Dates et versions

hal-01263208 , version 1 (27-01-2016)

Identifiants

Citer

Didier Galmiche, David Pym. Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation. Oxford University Press (OUP), 28 (4), 2018, ⟨10.1093/logcom/exv029⟩. ⟨hal-01263208⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA LORIA-FM
111 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More