Fundamenta Informaticae - Tom Vol. 44, Nr 1,2 (2000) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 44, Nr 1,2

Czasopismo

Fundamenta Informaticae

Wydawca

Polskie Towarzystwo Matematyczne

Rocznik

2000

Identyfikatory

Zawartość wolumenu

Vol. 44, Nr 1,2
- artykuł: Interactive knapsacks (Aho I.), s. 1-23
- artykuł: A foundation for refining concurrent objects (Büchi M., Sekerinski E.), s. 25-61
- artykuł: Sharing variables in distributed memory (Chrobot S.), s. 63-81
- artykuł: Dynamical teams in eco-grammar systems (Csuhaj-Varju E., Mitrana V.), s. 83-94
- artykuł: The PMA and relativizing minimal change for action update (Doherty P., Łukaszewicz W., Madalińska-Bugaj E.), s. 95-131
- artykuł: Two problems on reduction graphs in lambda calculus (Intrigila B., Laurenzi A.R.), s. 133-144
- artykuł: Platek spaces (Ivanov L.), s. 145-181
- artykuł: Boldface recursion on Platek spaces (Ivanov L.), s. 183-208

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