default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 802

> 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 802, January 2020

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BergstraM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BergstraM20
Jan A. Bergstra, Cornelis A. Middelburg:
On the complexity of the correctness problem for non-zeroness test instruction sequences. 1-18
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CorradiniDEPR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CorradiniDEPR20
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
Algebraic graph rewriting with controlled embedding. 19-37
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Cruz-FilipeM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Cruz-FilipeM20
Luís Cruz-Filipe, Fabrizio Montesi:
A core model for choreographic programming. 38-66
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ZhouYYY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ZhouYYY20
Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying:
Strassen's theorem for quantum couplings. 67-76
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Blum20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Blum20
William Blum:
Evaluating lambda terms with traversals. 77-104
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/FosterCCWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FosterCCWZ20
Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda:
Unifying theories of reactive design contracts. 105-140
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Bednarczyk20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Bednarczyk20
Bartosz Bednarczyk:
One-variable logic meets Presburger arithmetic. 141-146
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CastiglioniT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CastiglioniT20
Valentina Castiglioni, Simone Tini:
Probabilistic divide & congruence: Branching bisimilarity. 147-196

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.