default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 977

> 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 977, October 2023

Section B: Logic, semantics and theory of programming

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CastellanoBZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CastellanoBZ23
Ilaria Castellano, Anna Giordano Bruno, Nicolò Zava:
Weakly weighted generalised quasi-metric spaces and semilattices. 114129

Section A: Algorithms, automata, complexity and games

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AlbayrakB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlbayrakB23
Seda Albayrak, Jason P. Bell:
Quantitative estimates for the size of an intersection of sparse automatic sets. 114144
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BeinL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BeinL23
Wolfgang Bein, Lawrence L. Larmore:
Breaking the 2-competitiveness barrier for two servers in a tree. 114152
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ShanjaniK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ShanjaniK23
Sima Hajiaghaei Shanjani, Valerie King:
Communication costs in a geometric communication network. 114161
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BramasLD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BramasLD23
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes:
Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality. 114162

Section C: Theory of natural computing

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CairoliAdB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CairoliAdB23
Francesca Cairoli, Fabio Anselmi, Alberto d'Onofrio, Luca Bortolussi:
Generative abstraction of Markov population processes. 114169

Section B: Logic, semantics and theory of programming

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/DiazCaroD23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DiazCaroD23a
Alejandro Díaz-Caro, Gilles Dowek:
Extensional proofs in a propositional logic modulo isomorphisms. 114172

Section A: Algorithms, automata, complexity and games

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ZhuangLLC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ZhuangLLC23
Hongbin Zhuang, Wanling Lin, Xiao-Yan Li, Jou-Ming Chang:
Matroidal connectivity and conditional matroidal connectivity of star graphs. 114173
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Neraud23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Neraud23
Jean Néraud:
Loopless algorithms to generate maximum length gray cycles wrt. k-character substitutions. 114175

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.