Instytut Informatyki Analitycznej - lista publikacji
Nadjednostka:
Podjednostki:
1-2 z 2.
1997
2.
1.
Jan Małolepszy, Małgorzata Moczurad, Marek Zaionc
Schwichtenberg style lambda definability is undecidable, Lecture Notes in Computer Science vol. 1210 (1997), 267-283