Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 186

> Home > Journals > Fundamenta Informaticae

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 186, Numbers 1-4, 2022

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AvronDR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AvronDR22
Arnon Avron, Nachum Dershowitz, Alexander Rabinovich:
Preface.
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Abramsky22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Abramsky22
Samson Abramsky:
Structure and Power: an Emerging Landscape. 1-26
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/ArnoldCG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/ArnoldCG22
André Arnold, Patrick Cégielski, Irène Guessarian:
Affine Completeness of Some Free Binary Algebras. 27-44
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Artemov22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Artemov22
Sergei Artemov:
Towards Syntactic Epistemic Logic. 45-62
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BrutschT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BrutschT22
Benedikt Brütsch, Wolfgang Thomas:
Solving Infinite Games in the Baire Space. 63-88
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Courcelle22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Courcelle22
Bruno Courcelle:
Order-theoretic Trees: Monadic Second-order Descriptions and Regularity. 89-120
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Francez22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Francez22
Nissim Francez:
A Generalization of Falsity in Finitely-many Valued Logics. 121-132
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Gurevich22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Gurevich22
Yuri Gurevich:
The 1966 International Congress of Mathematicians: A Micro-memoir. 133-141
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Kaminski22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Kaminski22
Michael Kaminski:
A Note on Calculi for Non-deterministic Many-valued Logics. 143-153
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KotekM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KotekM22
Tomer Kotek, Johann A. Makowsky:
On the Tutte and Matching Polynomials for Complete Graphs. 155-173
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LomazovaBJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LomazovaBJ22
Irina A. Lomazova, Vladimir A. Bashkin, Petr Jancar:
Resource Bisimilarity in Petri Nets is Decidable. 175-194
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LombardyS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LombardyS22
Sylvain Lombardy, Jacques Sakarovitch:
Morphisms and Minimisation of Weighted Automata. 195-218
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Trakhtenbrot22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Trakhtenbrot22
Mark B. Trakhtenbrot:
Boris (Boaz) Trakhtenbrot - The Beginning. 219-236

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.