The following pages link to Amina Doumane (Q2289073):
Displaying 15 items.
- Kleene algebra with hypotheses (Q2289074) (← links)
- The class of representable semilattice-ordered monoids is not a variety (Q2695350) (← links)
- On the Dependencies of Logical Rules (Q2949457) (← links)
- Towards Completeness via Proof Search in the Linear Time μ-calculus (Q4635894) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- (Q5089295) (← links)
- (Q5144621) (← links)
- First-order tree-to-tree functions (Q5145635) (← links)
- Left-Handed Completeness for Kleene algebra, via Cyclic Proofs (Q5222960) (← links)
- (Q5278431) (← links)
- (Q5351980) (← links)
- Non-Axiomatizability of the Equational Theories of Positive Relation Algebras (Invited Talk) (Q6168408) (← links)
- (Q6168456) (← links)
- Regular expressions for tree-width 2 graphs (Q6560923) (← links)
- Bouncing threads for circular and non-wellfounded proofs. Towards compositionality with circular proofs (Q6649500) (← links)