Michael Gruninger

Available identifiers

zbMath Open gruninger.michaelWikidataQ15429296 ScholiaQ15429296MaRDI QIDQ1045996

List of research outcomes

Publication	Date of Publication	Type
Reducible Theories and Amalgamations of Models	2023-02-07	Paper
A Representation Theorem for Change through Composition of Activities	2019-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4580234	2018-08-13	Paper
Complementation in representable theories of region-based space	2013-04-25	Paper
On the algebra of regular sets	2012-12-28	Paper
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization	2012-09-07	Paper
Combining RFID with ontologies to create smart objects	2010-10-25	Paper
Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)	2009-12-21	Paper
On the Skeleton of Stonian p-Ortholattices	2009-12-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Gruninger