Michell Guzman

Available identifiers

zbMath Open guzman.michellMaRDI QIDQ347364

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5875391	2023-02-03	Paper
Reasoning about distributed information with infinitely many agents	2021-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q5240218	2019-10-24	Paper
Characterizing right inverses for spatial constraint systems with applications to modal logic	2018-09-24	Paper
Deriving Inverse Operators for Modal Logic	2016-12-21	Paper
Belief, knowledge, lies and other utterances in an algebra for space and extrusion	2016-11-30	Paper
A symbolic model for timed concurrent constraint programming	2016-08-01	Paper

Research outcomes over time

This page was built for person: Michell Guzman