Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2021

Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings

Luigi Santocanale
Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre
Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
CV
Uli Fahrenberg
Mai Gehrke
Michael Winter

Domaines

Logique en informatique [cs.LO] Logique [math.LO]

Luigi Santocanale  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03518424

Soumis le : dimanche 9 janvier 2022-18:32:07

Dernière modification le : samedi 23 mars 2024-03:09:30

Fichier non déposé

Dates et versions

hal-03518424 , version 1 (09-01-2022)

Identifiants

  • HAL Id : hal-03518424 , version 1

Citer

Luigi Santocanale, Uli Fahrenberg, Mai Gehrke, Michael Winter. Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings. U. Fahrenberg, M. Gehrke, L. Santocanale, and M. Winter. Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Nov 2021, Marseille, France. 13027, Springer, 2021, Lecture Notes in Computer Science. ⟨hal-03518424⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLN CNRS UNIV-AMU DIEUDONNE LIS-LAB INCIAM
19 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More