Relation algebras are models of noncommutative propositional linear logic

Jules Desharnais, Bernard Hodgson, John Mullins

Chapitre de livre (1997)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Renseignements supplémentaires:
Nom historique du département: Département de génie électrique et de génie informatique
ISBN:
3211829717
Adresse URL de PolyPublie:
Éditeurs ou éditrices:
Maison d'édition:
Springer
OAI:
oai:publications.polymtl.ca:30526
ORCID
Date du dépôt:
18 avr. 2023 15:23
Dernière modification:
14 oct. 2026 13:17
Citer en APA 7:
Desharnais, J., Hodgson, B., & Mullins, J. (1997). Relation algebras are models of noncommutative propositional linear logic. Dans Brink, C., & Schmidt, G. (édit.), Relational methods in computer science (p. 106-115). https://doi.org/10.1007/978-3-7091-6510-2_7

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document