Amalgamation in CASL via enriched signatures

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	Amalgamation in CASL via enriched signatures
Adres internetowy
Tytuł czasopisma	LECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom
Zeszyt	2076
Rok wydania	2001
Od strony	993
Do strony	1004
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2001