default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 897

> 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 897, January 2022

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CoeckeHKW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CoeckeHKW22
Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang:
Kindergarden quantum mechanics graduates ...or how I learned to stop gluing LEGO together and love the ZX-calculus. 1-22
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CasalMV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CasalMV22
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos:
Mixed sessions. 23-48
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/YangF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/YangF22
Qizhe Yang, Yuxi Fu:
Counting nondeterministic computations. 49-63
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/0012ZZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/0012ZZ22
Yan Zhang, Zhaohui Zhu, Jinjin Zhang:
Encoding safety in CLL_R. 64-82
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Gorrieri22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Gorrieri22
Roberto Gorrieri:
A study on team bisimulation and H-team bisimulation for BPP nets. 83-113
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Fu22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Fu22
Yuxi Fu:
A thesis for interaction. 114-134
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/SelvaratnamCDS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SelvaratnamCDS22
Daniel Selvaratnam, Michael Cantoni, J. M. Davoren, Iman Shames:
Sampling polynomial trajectories for LTL verification. 135-163
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/YingZL022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/YingZL022
Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng:
A proof system for disjoint parallel quantum programs. 164-184

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.