Login / Signup
Alec Henderson
ORCID
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 10
Top Topics
Systems Require
Formal Verification
Np Complete Problems
Hard Problems
Top Venues
J. Membr. Comput.
Int. Conf. on Membrane Computing
Axioms
Enjoying Natural Computing
</>
Publications
</>