Login / Signup
Mehdi Mhalla
ORCID
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 30
Top Topics
Social Welfare
Diagrammatic Reasoning
Quantum Computation
Higher Order Logic
Top Venues
CoRR
ISIT
ISTC
Theor. Comput. Sci.
</>
Publications
</>