Fundamenta Informaticae - Tom Vol. 104, nr 4 (2010) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 104, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2010

Identyfikatory

Zawartość wolumenu

Vol. 104, nr 4
- artykuł: Modeling Contexts with Dependent Types (Dapoigny R., Barlatier P.), s. 293-327
- artykuł: Univariate Equations Over Sets of Natural Numbers (Jeż A., Okhotin A.), s. 329-348
- artykuł: Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity (Nguyen L.A. L.A.), s. 349-384
- artykuł: Breaking Pomykala-Barabasz Threshold Proxy Signature Scheme (Shao Z.), s. 385-392

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