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	
