![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 837
Volume 837, October 2020
- Martin Lück:
On the complexity of linear temporal logic with team semantics. 1-25 - Gianluca Curzi, Luca Roversi:
A type-assignment of linear erasure and duplication. 26-53 - Ioana Cristescu, Thomas Given-Wilson, Axel Legay:
Expressiveness of concurrent intensionality. 54-83 - Tsong-Ming Liaw, Simon C. Lin:
A general theory of concept lattice with tractable implication exploration. 84-114 - Benny Kimelfeld, Ester Livshits, Liat Peterfreund:
Counting and enumerating preferred database repairs. 115-157 - Gregor Gössler, Jean-Bernard Stefani:
Causality analysis and fault ascription in component-based systems. 158-180 - Aleksandar S. Dimovski
, Axel Legay, Andrzej Wasowski
:
Generalized abstraction-refinement for game-based CTL lifted model checking. 181-206 - Jarafe Abdala
, Fágner L. Santana:
A note on "Posets having continuous interval". 207-208 - Matthias Baaz, Anela Lolic:
First-order interpolation derived from propositional interpolation. 209-222 - 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.