default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 837

> 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 837, October 2020

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Luck20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Luck20
Martin Lück:
On the complexity of linear temporal logic with team semantics. 1-25
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CurziR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CurziR20
Gianluca Curzi, Luca Roversi:
A type-assignment of linear erasure and duplication. 26-53
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CristescuGL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CristescuGL20
Ioana Cristescu, Thomas Given-Wilson, Axel Legay:
Expressiveness of concurrent intensionality. 54-83
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/LiawL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LiawL20
Tsong-Ming Liaw, Simon C. Lin:
A general theory of concept lattice with tractable implication exploration. 84-114
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/KimelfeldLP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KimelfeldLP20
Benny Kimelfeld, Ester Livshits, Liat Peterfreund:
Counting and enumerating preferred database repairs. 115-157
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/GosslerS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GosslerS20
Gregor Gössler, Jean-Bernard Stefani:
Causality analysis and fault ascription in component-based systems. 158-180
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/DimovskiLW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DimovskiLW20
Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski:
Generalized abstraction-refinement for game-based CTL lifted model checking. 181-206
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AbdalaS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AbdalaS20
Jarafe Abdala, Fágner L. Santana:
A note on "Posets having continuous interval". 207-208
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BaazL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BaazL20
Matthias Baaz, Anela Lolic:
First-order interpolation derived from propositional interpolation. 209-222
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AcetoACILP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AcetoACILP20
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen:
On the axiomatisability of priority III: Priority strikes again. 223-246

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.