researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Theory Comput. Syst.
Home
Index
Info
Issue
Volume
68
, Issue
2
195
--
226
Marcus Schaefer 0001
,
Daniel Stefankovic
.
Beyond the Existential Theory of the Reals
227
--
249
K. Subramani 0001
,
Piotr Wojciechowki
,
Alvaro Velasquez
.
Farkas Bounds on Horn Constraint Systems
250
--
270
Hoàng-Oanh Le
,
Van Bang Le
.
Complexity of the (Connected) Cluster Vertex Deletion Problem on H-free Graphs
271
--
282
Marat Kh. Faizrahmanov
.
On Non-principal Arithmetical Numberings and Families
283
--
298
Yijie Chen
,
Kewei Lv
.
New Results on the Remote Set Problem and Its Applications in Complexity Study