Login / Signup
Alexandre V. Borovik
ORCID
Publication Activity (10 Years)
Years Active: 1990-2021
Publications (10 Years): 4
Top Topics
Hybrid Systems
Black Box
Formal Theory
Homomorphic Encryption
Top Venues
ICMS
Logica Universalis
Biosyst.
J. Symb. Log.
</>
Publications
</>