Naji Obeid

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Quantifier Elimination

Automated Reasoning

Theorem Proving

Metabolic Networks

Top Venues

Publications

Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
Translation of first order formulas into ground formulas via a completion theory. J. Appl. Log. 15 (2016)
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
Automated Reasoning in Metabolic Networks with Inhibition. AI*IA (2013)