Levon Haykazyan

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 4

Top Topics

Datalog Queries

Transitive Closure

Database Query Languages

Top Venues

Ann. Pure Appl. Log.

Publications

Levon Haykazyan
Spaces of Types in positive Model Theory. J. Symb. Log. 84 (2) (2019)
Levon Haykazyan, Rahim Moosa
Functoriality and uniformity in Hrushovski's groupoid-cover correspondence. Ann. Pure Appl. Log. 169 (8) (2018)
Levon Haykazyan
Constructing quasiminimal structures. Math. Log. Q. 63 (5) (2017)
Levon Haykazyan
Categoricity in quasiminimal Pregeometry Classes. J. Symb. Log. 81 (1) (2016)
Levon Haykazyan
Decidability of the Clark's completion semantics for monadic programs and queries. Theory Pract. Log. Program. 15 (3) (2015)
Levon Haykazyan
Decidability of the Clark's Completion Semantics for Monadic Programs and Queries. CoRR (2014)