Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 781

> 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 781, August 2019

Logical and Semantic Frameworks with Applications

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/NigamT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NigamT19
Vivek Nigam, René Thiemann:
Logical and Semantic Frameworks with Applications. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Ayala-RinconSFN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Ayala-RinconSFN19
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira:
A formalisation of nominal α-equivalence with A, C, and AC function symbols. 3-23
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ChaudhuriLR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ChaudhuriLR19
Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis:
Formalized meta-theory of sequent calculi for linear logics. 24-38
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CaleiroCM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CaleiroCM19
Carlos Caleiro, Filipe Casal, Andreia Mordido:
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities. 39-62
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ArieliS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ArieliS19
Ofer Arieli, Christian Straßer:
Logical argumentation by dynamic proof systems. 63-91
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/LombardiRV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LombardiRV19
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer:
Projections for infinitary rewriting (extended version). 92-110
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Ayala-RinconBEV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Ayala-RinconBEV19
Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso:
Typed path polymorphism. 111-130

a service of

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.