" Kamal Abdali" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Kamal Abdali

A Lambda-Calculus Model of Programming Languages, I: Simple Constructs, J. Computer Languages, Vol. 1 (1976)

Категория: paper, programming language semantics, lambda calculus, combinator calculus

4.33 Mb

#2

Transitive Closure and Related Properties via Eliminants, Theor. Comp. Sci V40 No. 2,3 (1985)

Kamal Abdali, David Sauders

Категория: Paper, Algebra, Semiring, Transitive Closure

73 Kb

#3

A Lambda-Calculus Model of Programming Languages, II: Jumps and Procedures, J. Computer Languages, Vol. 1 (1976)

Категория: paper, programming language semantics, lambda calculus, combinator calculus

4.61 Mb

#4

Special Series Summation with Arbitrary Precision, Comm. ACM, Vol. 13, No. 9 (1970)

Категория: paper, series summation, arbitrary precision, spigot algorithm

137 Kb

#5

Parallel Computations in *-Semirings, Computational Algebra, Marcel Dekker (1994)

Категория: paper, semirings, transitive closure, parallel computation

140 Kb

#6

Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm, ISSAC 1989

David Saunders, Hing Lee, Kamal Abdali

Категория: paper, cylindrical algebraic decomposition parallel algorithms

193 Kb

#7

A Simple Lambda-Calculus Model of Programming Languages, NYU Courant Institute, 1973

Категория: paper, programming language semantics, lambda calculus, combinator calculus

2.04 Mb