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

Tom - szczegóły

Tytuł artykułu

Vol. 185, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2022

Identyfikatory

Zawartość wolumenu

Vol. 185, nr 4
- artykuł: On Random Number Generation for Kernel Applications (Abhishek Kunal, Dharma Prakash Raj E.George), s. 285--311
- artykuł: Characteristics of de Bruijn's early proof checker Automath (Geuvers Herman, Nederpelt Rob), s. 313--336
- artykuł: Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers (Kutrib Martin, Malchers Andrea, Mereghetti Carlo, Palano Beatrice), s. 337--356
- artykuł: A Local Diagnosis Algorithm for Hypercube-like Networks under the BGM Diagnosis Model (Lin Cheng-Kuan, Kung Tzu-Liang, Chun-Nan Hung, Yuan-Hsiang Teng), s. 357--373

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ć.