Pablo Federico Dobal

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Relational Databases

Quantifier Elimination

Object Oriented

Top Venues

Publications

Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine
Adapting Real Quantifier Elimination Methods for Conflict Set Computation. FroCos (2015)
Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine
Adapting Real Quantifier Elimination Methods for Conflict Set Computation. CoRR (2015)