External Links

    Journal: Theory Comput. Syst.

    Volume 68, Issue 2

    195 -- 226Marcus Schaefer 0001, Daniel Stefankovic. Beyond the Existential Theory of the Reals
    227 -- 249K. Subramani 0001, Piotr Wojciechowki, Alvaro Velasquez. Farkas Bounds on Horn Constraint Systems
    250 -- 270Hoàng-Oanh Le, Van Bang Le. Complexity of the (Connected) Cluster Vertex Deletion Problem on H-free Graphs
    271 -- 282Marat Kh. Faizrahmanov. On Non-principal Arithmetical Numberings and Families
    283 -- 298Yijie Chen, Kewei Lv. New Results on the Remote Set Problem and Its Applications in Complexity Study
    runs on