Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 935

> 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 935, October 2022

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/LiLLSTZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LiLLSTZ22
Yi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang:
Synthesizing ranking functions for loop programs via SVM. 1-20
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/HetzlV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HetzlV22
Stefan Hetzl, Jannik Vierling:
Unprovability results for clause set cycles. 21-46
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Kahl22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Kahl22
Thomas Kahl:
On symmetric higher-dimensional automata and bisimilarity. 47-60
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/XuFMD22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/XuFMD22a
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng:
An algebraic method to fidelity-based model checking over quantum Markov chains. 61-81
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/VenhoekMR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/VenhoekMR22
David Venhoek, Joshua Moerman, Jurriaan Rot:
Fast computations on ordered nominal sets. 82-104
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BarceloHPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BarceloHPS22
Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux:
On the expressiveness of Lara: A proposal for unifying linear and relational algebra. 105-127
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Petrakis22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Petrakis22
Iosif Petrakis:
Closed subsets in Bishop topological groups. 128-143
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CalauttiGMT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CalauttiGMT22
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Query answering over inconsistent knowledge bases: A probabilistic approach. 144-173
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BaldanR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BaldanR22
Paolo Baldan, Alessandra Raffaetà:
Minimisation of event structures. 174-199

a service of

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.