Adding for-loops to first order logic

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	Adding for-loops to first order logic
Adres internetowy
Tytuł czasopisma	INFORMATION AND COMPUTATION
Medium
Tom	168
Zeszyt	2
Rok wydania	2001
Od strony	156
Do strony	186
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2001