Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings - Archive ouverte HAL Access content directly
Proceedings Year : 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

Domains

Logic in Computer Science [cs.LO] Logic [math.LO]

Luigi Santocanale  : Connect in order to contact the contributor

https://hal.science/hal-03518424

Submitted on : Sunday, January 9, 2022-6:32:07 PM

Last modification on : Saturday, March 23, 2024-3:09:30 AM

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-03518424 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLN CNRS UNIV-AMU DIEUDONNE LIS-LAB INCIAM
20 View
0 Download

Share

Gmail Facebook X LinkedIn More