Instytut Informatyki Analitycznej - lista publikacji
Nadjednostka:
Podjednostki:
1-3 z 3.
1985
3.
A note on the dynamic storage allocation problem, Information Processing Letters vol. 20 (1985), 223-227
2.
Nondeterministic Programs Definable in Typed Lambda Calculus, Fundamenta Informaticae vol. 8 (1985), 63-72
1.
The set of Unifiers in Typed lambda calculus as Regular Expression, Lecture Notes in Computer Science vol. 202 (1985), 430-440