Katedra Podstaw Informatyki - lista publikacji
Nadjednostka:
201-220 z 220.
2003
20.
Asymptotic properties of logics, Schedae Informaticae vol. 12 (2003), 129-138
19.
Zofia Kostrzycka, Marek Zaionc
On the density of truth in Dummet logic, Bulletin of the Section of Logic vol. 32 (2003), 43-55
18.
Quantitative Continuous Domains, Applied Categorical Structures vol. 11 (2003), 41-67
17.
Statistics of implicational logic, Electronic Notes in Theoretical Computer Science vol. 84 (2003), 205–216
2001
16.
15.
Distance and Measurement in Domain Theory, Electronic Notes in Theoretical Computer Science vol. 45 (2001), 448-462
2000
14.
1997
13.
Jan Małolepszy, Małgorzata Moczurad, Marek Zaionc
Schwichtenberg style lambda definability is undecidable, Lecture Notes in Computer Science vol. 1210 (1997), 267-283
1995
12.
1992
11.
Lambda definability on free algebras, Annals of Pure and Applied Logic vol. 51 (1992), 279-300
1990
10.
A Characterization of Lambda Definable Tree Operations, Information and Computation vol. 89 (1990), 35-46
1989
9.
On the lambda definable higher-order boolean functionals, Fundamenta Informaticae vol. 12 (1989), 181-190
8.
1988
7.
6.
On the lambda definable tree operations, Lecture Notes in Computer Science vol. 425 (1988), 279-292
1987
5.
Word Operations Definable in the Typed lambda Calculus, Theoretical Computer Science vol. 52 (1987), 1-14
4.
1985
3.
Nondeterministic Programs Definable in Typed Lambda Calculus, Fundamenta Informaticae vol. 8 (1985), 63-72
2.
The set of Unifiers in Typed lambda calculus as Regular Expression, Lecture Notes in Computer Science vol. 202 (1985), 430-440
1984
1.
A computer model of evolution and ecological processes, Modeling, Simulation & Control C (1984), 59-63
Przejdź do strony: