Fundamenta Informaticae - Tom Vol. 186, nr 1-4 (2022) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 186, nr 1-4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2022

Identyfikatory

Zawartość wolumenu

Vol. 186, nr 1-4
- artykuł: Structure and power : an emerging landscape (Abramsky Samson), s. 1--26
- artykuł: Affine completeness of some free binary algebras (Arnold André, Cégielski Patrick, Guessarian Irène), s. 27--44
- artykuł: Towards Syntactic Epistemic Logic (Artemov Sergei), s. 49--62
- artykuł: Solving Infinite Games in the Baire Space (Brütsch Benedikt, Thomas Wolfgang), s. 63--88
- artykuł: Order-theoretic Trees : Monadic Second-order Descriptions and Regularity (Courcelle Bruno), s. 89--120
- artykuł: A Note on Calculi for Non-deterministic Many-valued Logics (Kaminski Michael), s. 143--153
- artykuł: On the Tutte and matching polynomials for complete graphs (Kotek Tomer, Makowsky Johann A.), s. 155--173
- artykuł: Resource Bisimilarity in Petri Nets is Decidable (Lomazova Irina, Bashkin Vladimir, Jančar Petr), s. 175--194
- artykuł: Morphisms and minimisation of weighted automata (Lombardy Sylvain, Sakarovitch Jacques), s. 195--218
- artykuł: Boris (Boaz) Trakhtenbrot : The Beginning (Trakhtenbrot Mark), s. 219--236

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.