Sergio Ramírez

From MaRDI portal
Person:2043804

Available identifiers

zbMath Open ramirez.sergioMaRDI QIDQ2043804

List of research outcomes





PublicationDate of PublicationType
Real-time rewriting logic semantics for spatial concurrent constraint programming2023-07-28Paper
Computing distributed knowledge as the greatest lower bound of knowledge2023-03-30Paper
https://portal.mardi4nfdi.de/entity/Q58753912023-02-03Paper
Counting and Computing Join-Endomorphisms in Lattices (Revisited)2022-11-01Paper
Counting and Computing Join-Endomorphisms in Lattices2022-08-30Paper
Reasoning about distributed information with infinitely many agents2021-08-03Paper

Research outcomes over time

This page was built for person: Sergio Ramírez

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2043804&oldid=6546078"
Powered by MediaWiki