Login / Signup
Eugen-Ioan Goriac
Publication Activity (10 Years)
Years Active: 2008-2015
Publications (10 Years): 0
Top Topics
Complete Axiomatization
Theorem Prover
Rule Sets
Morphological Operators
Top Venues
EXPRESS/SOS
J. Log. Algebraic Methods Program.
CoRR
CALCO
</>
Publications
</>