Amalgamation in the semantics of CASL

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiAmalgamation in the semantics of CASL
Adres internetowy
Tytuł czasopismaTHEORETICAL COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom331
Zeszyt
Rok wydania2005
Od strony215
Do strony247
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2005

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]