Amina Doumane

From MaRDI portal
Person:2289073

Available identifiers

zbMath Open doumane.aminaDBLP154/6077WikidataQ65707471 ScholiaQ65707471MaRDI QIDQ2289073

List of research outcomes





PublicationDate of PublicationType
Bouncing threads for circular and non-wellfounded proofs. Towards compositionality with circular proofs2024-12-06Paper
Regular expressions for tree-width 2 graphs2024-06-24Paper
https://portal.mardi4nfdi.de/entity/Q61684562023-08-08Paper
Non-Axiomatizability of the Equational Theories of Positive Relation Algebras (Invited Talk)2023-08-08Paper
The class of representable semilattice-ordered monoids is not a variety2023-03-30Paper
https://portal.mardi4nfdi.de/entity/Q50892952022-07-18Paper
Completeness for Identity-free Kleene Lattices2021-08-04Paper
First-order tree-to-tree functions2021-01-21Paper
https://portal.mardi4nfdi.de/entity/Q51446212021-01-19Paper
Kleene algebra with hypotheses2020-01-28Paper
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs2019-07-04Paper
Towards Completeness via Proof Search in the Linear Time μ-calculus2018-04-23Paper
https://portal.mardi4nfdi.de/entity/Q53519802017-08-31Paper
https://portal.mardi4nfdi.de/entity/Q52784312017-07-19Paper
On the Dependencies of Logical Rules2015-10-01Paper

Research outcomes over time

This page was built for person: Amina Doumane

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