Fundamenta Informaticae - Tom Vol. 150, nr 3/4 (2017) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 150, nr 3/4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2017

Identyfikatory

Zawartość wolumenu

Vol. 150, nr 3/4
- artykuł: Infinitary Axiomatization of the Equational Theory of Context-Free Languages (Grathwohl N. B. B., Henglein F., Kozen D.), s. 241--257
- artykuł: Non-monotonic Pre-fix Points and Learning (Berardi S., de’ Liguoro U.), s. 259--280
- artykuł: Pebble Games with Algebraic Rules (Dawar A., Holm B.), s. 281--316
- artykuł: Łukasiewicz μ-calculus (Mio M., Simpson A.), s. 317--346
- artykuł: CoCaml: Functional Programming with Regular Coinductive Types (Jeannin J.-B., Kozen D., Silva A.), s. 347--377
- artykuł: From Branching to Linear Time, Coalgebraically (Cîrstea C.), s. 379--406
- artykuł: Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion (Milius S., Litak T.), s. 407--449

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