Natalia Moanga

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 8

Top Topics

Decision Procedures

Prime Implicates

Operational Semantics

Top Venues

Fundam. Informaticae

J. Log. Algebraic Methods Program.

Publications