default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 186
Volume 186, Numbers 1-4, 2022
- Arnon Avron, Nachum Dershowitz, Alexander Rabinovich:
Preface. - Samson Abramsky
:
Structure and Power: an Emerging Landscape. 1-26 - André Arnold, Patrick Cégielski, Irène Guessarian:
Affine Completeness of Some Free Binary Algebras. 27-44 - Sergei Artemov:
Towards Syntactic Epistemic Logic. 45-62 - Benedikt Brütsch, Wolfgang Thomas:
Solving Infinite Games in the Baire Space. 63-88 - Bruno Courcelle:
Order-theoretic Trees: Monadic Second-order Descriptions and Regularity. 89-120 - Nissim Francez:
A Generalization of Falsity in Finitely-many Valued Logics. 121-132 - Yuri Gurevich:
The 1966 International Congress of Mathematicians: A Micro-memoir. 133-141 - Michael Kaminski:
A Note on Calculi for Non-deterministic Many-valued Logics. 143-153 - Tomer Kotek, Johann A. Makowsky:
On the Tutte and Matching Polynomials for Complete Graphs. 155-173 - Irina A. Lomazova, Vladimir A. Bashkin, Petr Jancar:
Resource Bisimilarity in Petri Nets is Decidable. 175-194 - Sylvain Lombardy, Jacques Sakarovitch:
Morphisms and Minimisation of Weighted Automata. 195-218 - Mark B. Trakhtenbrot:
Boris (Boaz) Trakhtenbrot - The Beginning. 219-236
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.
last updated on 2025-01-09 19:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
