Fundamenta Informaticae - Tom Vol. 103, nr 1-4 (2010) - Biblioteka Nauki - Yadda

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 103, nr 1-4

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2010

Identyfikatory

Zawartość wolumenu

Vol. 103, nr 1-4
- artykuł: A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of His Sixty Birthday (Barbuti R., Dezani-Ciancaglini M., Maggiolo-Schettini A., Milazzo P., Troina A.), s. 1-29
- artykuł: Data Linkage Dynamics with Shedding (Bergstra J. A., Middelburg C. A.), s. 31-52
- artykuł: An Efficient Algorithm for Learning Bayesian Networks from Data (Dojer N.), s. 53-67
- artykuł: The Complexity of Restricted Variants of the Stable Paths Problem (Donnelly K., Kfour A., Lapets A.), s. 69-87
- artykuł: Modeling Proteolysis from Mass Spectrometry Proteomic Data (Gambin A., Kluge B.), s. 89-104
- artykuł: H-trees: a Model of Evolutionary Scenarios with Horizontal Gene Transfer (Górecki P.), s. 105-128
- artykuł: Church–Rosser Made Easy (Kozen D.), s. 129-136
- artykuł: Big-step Operational Semantics Revisited (Dominik J., Kuśmierek M., Bono V.), s. 137-172
- artykuł: Linearity, Non-determinism and Solvability (Pagani M., Ronchi della Rocca S.), s. 173-202
- artykuł: Communes via Yoneda, from an Elementary Perspective (Pratt V.), s. 203-218
- artykuł: Asymptotic Analysis of a Semelparous Species Model (Rudnicki R., Wieczorek R.), s. 219-233
- artykuł: Modeling Biology using Generic Reactive Animation (Setty Y., Cohen I. R., Harel D.), s. 235-246
- artykuł: Bottom-up β-reduction: Uplinks and γ-DAGs (Shivers O., Wand M.), s. 247-287
- artykuł: Complexity of Type Inference (Tyszkiewicz J.), s. 289-301
- artykuł: The Logic of Persistent Intersection (Urzyczyn P.), s. 303-322
- artykuł: A Computer Scientist's Guide to the Regulatory Genome (Wilczyński B., Hvidste T. R.), s. 323-332

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