default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 975

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 975, October 2023

Section B: Logic, semantics and theory of programming

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Drabent23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Drabent23
Wlodzimierz Drabent:
A relaxed condition for avoiding the occur-check. 114107

Section A: Algorithms, automata, complexity and games

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Alpern23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Alpern23
Steve Alpern:
The Faulty Satnav (GPS) Problem: Search for home in networks with unreliable directions. 114109

Corrigendum

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AsahiroEHLMT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AsahiroEHLMT23
Yuichi Asahiro, Hiroshi Eto, Tesshu Hanaka, Guohui Lin, Eiji Miyano, Ippei Terabaru:
Corrigendum to "Complexity and approximability of the happy set problem" [Theor. Comput. Sci. 866 (2021) 123-144]. 114114

Section B: Logic, semantics and theory of programming

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BrausseKKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BrausseKKM23
Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller:
The ksmt calculus is a δ-complete decision procedure for non-linear constraints. 114125

Section A: Algorithms, automata, complexity and games

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/DasGuptaGM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DasGuptaGM23
Bhaskar DasGupta, Elena Grigorescu, Tamalika Mukherjee:
On computing discretized Ricci curvatures of graphs: Local algorithms and (localized) fine-grained reductions. 114127
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EquiMT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EquiMT23
Massimo Equi, Veli Mäkinen, Alexandru I. Tomescu:
Graphs cannot be indexed in polynomial time for sub-quadratic time string matching, unless SETH fails. 114128
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BujtasGK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BujtasGK23
Csilla Bujtás, Nima Ghanbari, Sandi Klavzar:
Computational complexity aspects of super domination. 114137
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BurkardtG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BurkardtG23
John Burkardt, Marcus R. Garvie:
An integer linear programming approach to solving the Eternity Puzzle. 114138
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BaiX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BaiX23
Tian Bai, Mingyu Xiao:
A parameterized algorithm for subset feedback vertex set in tournaments. 114139
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/HeQZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HeQZ23
Yuqiao He, Guoliang Qiu, Chihao Zhang:
Approximability of the complementarily symmetric Holant problems on cubic graphs. 114140
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/DongLFW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DongLFW23
Hui Dong, Mengjie Lv, Weibei Fan, Guijuan Wang:
Reliability evaluation of half hypercube networks. 114142

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.