Sergei N. Artëmov

Publication Activity (10 Years)

Years Active: 1990-2021
Publications (10 Years): 11

Top Topics

Logical Representation

Epistemic Logic

Top Venues

J. Log. Comput.

Ann. Pure Appl. Log.

Publications