Amina Doumane

Available identifiers

zbMath Open doumane.aminaDBLP154/6077WikidataQ65707471 ScholiaQ65707471MaRDI QIDQ2289073

List of research outcomes

Publication	Date of Publication	Type
Non-Axiomatizability of the Equational Theories of Positive Relation Algebras (Invited Talk)	2023-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q6168456	2023-08-08	Paper
The class of representable semilattice-ordered monoids is not a variety	2023-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q5089295	2022-07-18	Paper
Completeness for Identity-free Kleene Lattices	2021-08-04	Paper
First-order tree-to-tree functions	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5144621	2021-01-19	Paper
Kleene algebra with hypotheses	2020-01-28	Paper
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs	2019-07-04	Paper
Towards Completeness via Proof Search in the Linear Time μ-calculus	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q5351980	2017-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q5278431	2017-07-19	Paper
On the Dependencies of Logical Rules	2015-10-01	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: Amina Doumane