default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 837

> Home > Journals > Theoretical Computer Science

SPARQL queries

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.