Towards rewriting in Coq

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	Towards rewriting in Coq
Adres internetowy
Tytuł czasopisma	LECTURE NOTES IN COMPUTER SCIENCE
Medium	publikacja drukowana
Tom	4600
Zeszyt
Rok wydania	2007
Od strony	113
Do strony	131
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2007