Login / Signup
Grigory K. Olkhovikov
ORCID
Publication Activity (10 Years)
Years Active: 2013-2024
Publications (10 Years): 17
Top Topics
Monadic Datalog
Davis Putnam
Coalition Logic
Propositional Logic
Top Venues
J. Log. Comput.
FLAP
Rev. Symb. Log.
Log. J. IGPL
</>
Publications
</>