Amalgamation in the semantics of CASL

Publication info
  
Publication typePublication in a journal
Publication kindArticle
Publication titleAmalgamation in the semantics of CASL
Web URL
Journal titleTHEORETICAL COMPUTER SCIENCE
Media typeprinted publication
Volume331
Book
Publication year2005
From page215
To page247
Publication number
Publication languageEnglish
Ethnic language of studied culture
Rangeinternational
Report year2005

Authors list
  
 1. Lutz Schroeder, External unit [Co-author]
 2. Till Mossakowski, External unit [Co-author]
 3. Andrzej Tarlecki, Zakład Logiki Stosowanej [Co-author]
 4. Piotr Hoffman, Zakład Logiki Stosowanej [Co-author]
 5. Bartosz Klin, Instytut Informatyki [Co-author]