Login / Signup
Artem Melentyev
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Definite Clause
Java Programs
Sound And Complete Axiomatization
Affine Scaling
Top Venues
CoRR
IFIP TCS
</>
Publications
</>
Carlos Cotrini
,
Yuri Gurevich
,
Ori Lahav
,
Artem Melentyev
Primal Infon Logic with Conjunctions as Sets.
IFIP TCS
(2014)
Artem Melentyev
Java Modular Extension for Operator Overloading.
CoRR
(2014)