Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 278

> Home > Journals > Information and Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 278, June 2021

Special Issue on Ninth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/iandc/OrlandiniZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/OrlandiniZ21
Andrea Orlandini, Martin Zimmermann:
Preface. 104591
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Balasubramanian21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Balasubramanian21
A. R. Balasubramanian:
Parameterized verification of coverability in infinite state broadcast networks. 104592
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Galliani21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Galliani21
Pietro Galliani:
Safe dependency atoms and possibility operators in team semantics. 104593
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BrihayeBGR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BrihayeBGR21
Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin:
Constrained existence problem for weak subgame perfect equilibria with ω-regular Boolean objectives. 104594
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/PrzybylkoS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/PrzybylkoS21
Marcin Przybylko, Michal Skrzypczak:
The uniform measure of simple regular sets of infinite trees. 104595
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Weinert21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Weinert21
Alexander Weinert:
Quantitative reductions and vertex-ranked infinite games. 104596
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/GoubaultLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GoubaultLR21
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A simplicial complex model for dynamic epistemic logic to study distributed task computability. 104597
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/AngluinF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AngluinF21
Dana Angluin, Dana Fisman:
Regular ω-languages with an informative right congruence. 104598
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/GeattiGMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GeattiGMR21
Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds:
One-pass and tree-shaped tableau systems for TPTL and TPTL_b+Past. 104599

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.