First order specifications of programmable data types

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	First order specifications of programmable data types
Adres internetowy
Tytuł czasopisma	SIAM JOURNAL ON COMPUTING
Medium
Tom	30
Zeszyt
Rok wydania	2001
Od strony	2084
Do strony	2096
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2001