Amalgamation in the semantics of CASL
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Amalgamation in the semantics of CASL
Adres internetowy
Tytuł czasopisma
THEORETICAL COMPUTER SCIENCE
Medium
publikacja drukowana
Tom
331
Zeszyt
Rok wydania
2005
Od strony
215
Do strony
247
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2005
Lista autorów
1.
Lutz Schroeder,
Jednostka zewnetrzna
[
Współautor
]
2.
Till Mossakowski,
Jednostka zewnetrzna
[
Współautor
]
3.
Andrzej Tarlecki
,
Zakład Logiki Stosowanej
[
Współautor
]
4.
Piotr Hoffman
,
Zakład Logiki Stosowanej
[
Współautor
]
5.
Bartosz Klin
,
Instytut Informatyki
[
Współautor
]