Robin Hirschl

Available identifiers

zbMath Open hirsch.robinMaRDI QIDQ596006

List of research outcomes

Publication	Date of Publication	Type
Seurat games on Stockmeyer graphs	2023-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q5884961	2023-03-24	Paper
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms	2022-11-09	Paper
Relation algebras of intervals	2022-09-23	Paper
FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH	2022-08-29	Paper
Temporal Logic of Minkowski Spacetime	2022-02-04	Paper
Undecidability of Algebras of Binary Relations	2021-12-10	Paper
Finite representability of semigroups with demonic refinement	2021-05-06	Paper
Axioms for signatures with domain and demonic composition	2021-04-16	Paper
The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable	2019-07-24	Paper
Algebraic foundations for qualitative calculi and networks	2019-03-26	Paper
Meet-completions and ordered domain algebras	2019-01-08	Paper
Decidability of equational theories for subsignatures of relation algebra	2018-11-08	Paper
THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE	2018-10-26	Paper
Disjoint-union partial algebras	2017-07-13	Paper
THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION ALGEBRAS	2017-05-31	Paper
The algebra of functions with antidomain and range	2016-02-04	Paper
THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS	2014-09-30	Paper
Probabilistic Logic over Paths	2014-05-13	Paper
Ordered domain algebras	2014-04-17	Paper
Corrigendum to: “Relation Algebra Reducts of Cylindric Algebras and Complete Representations”	2014-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q2853709	2013-10-16	Paper
Undecidability of representability as binary relations	2013-01-07	Paper
Completely representable lattices	2012-05-16	Paper
Weak representations of relation algebras and relational bases	2011-10-10	Paper
POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS	2011-06-10	Paper
Axiomatizability of representable domain algebras	2011-02-09	Paper
The Complexity of the Warranted Formula Problem in Propositional Argumentation	2010-04-21	Paper
Strongly representable atom structures of cylindric algebras	2009-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q3509079	2008-07-01	Paper
Representable semilattice-ordered monoids	2008-03-05	Paper
Peirce Algebras and Boolean Modules	2007-12-17	Paper
Relation algebra reducts of cylindric algebras and complete representations	2007-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q3424681	2007-03-05	Paper
The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable	2005-09-28	Paper
Perturbed phase-space dynamics of hard-disk fluids	2004-08-10	Paper
Provability with Finitely Many Variables	2003-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q4432324	2003-10-22	Paper
Relation algebras from cylindric algebras. I	2002-12-11	Paper
Relation algebras from cylindric algebras. II	2002-12-11	Paper
Relation algebra reducts of cylindric algebras and an application to proof theory	2002-10-29	Paper
Relation algebras by games	2002-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4329275	2002-04-29	Paper
Strongly representable atom structures of relation algebras	2002-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q2709115	2001-08-20	Paper
Representability is not decidable for finite relation algebras	2001-02-19	Paper
Relation algebras with \(n\)-dimensional relational bases	2001-01-29	Paper
Tractable approximations for temporal constraint handling	2000-06-04	Paper
A finite relation algebra with undecidable network satisfaction problem	1999-11-01	Paper
Step by step – Building representations in algebraic logic	1997-12-22	Paper
Complete representations in algebraic logic	1997-12-17	Paper
Expressive power and complexity in algebraic logic	1997-07-17	Paper
Axiomatising Various Classes of Relation and Cylindric Algebras	1997-06-02	Paper
Completely Representable Relation Algebras	1995-11-28	Paper
From points to intervals	1994-08-28	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: Robin Hirschl