Login / Signup
Andrea Capriccioli
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Automated Deduction
Computer Algebra
Production Rate
Multiscale
Top Venues
ICCSA (1)
Electron. Notes Theor. Comput. Sci.
</>
Publications
</>
Andrea Capriccioli
,
Marco Servetto
,
Elena Zucca
An Imperative Pure Calculus.
Electron. Notes Theor. Comput. Sci.
322 (2016)
Carles Martí
,
Leonardo Pacifici
,
Andrea Capriccioli
,
Antonio Laganà
Simulation of Methane Production from Carbon Dioxide on a Collaborative Research Infrastructure.
ICCSA (1)
(2016)