Viorica Sofronie-Stokkermans

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 25

Top Topics

Quantifier Elimination

Diagnostic Systems

Decision Procedures

Top Venues

Fundam. Informaticae

Publications