Aloïs Rosset

Orcid: 0000-0002-7841-2318

According to our database1, Aloïs Rosset authored at least 6 papers between 2021 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Graph rewriting and relabeling with PBPO<sup>+</sup>: A unifying theory for quasitoposes.
J. Log. Algebraic Methods Program., June, 2023

Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting.
CoRR, 2023

Fuzzy Presheaves are Quasitoposes.
Proceedings of the Graph Transformation - 16th International Conference, 2023

2022
Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes.
CoRR, 2022

Algebraic Presentation of Semifree Monads.
Proceedings of the Coalgebraic Methods in Computer Science, 2022

2021
Graph Rewriting and Relabeling with PBPO<sup>+</sup>.
Proceedings of the Graph Transformation - 14th International Conference, 2021


  Loading...