Amalgamation in the semantics of CASL
Publication info
Publication type
Publication in a journal
Publication kind
Article
Publication title
Amalgamation in the semantics of CASL
Web URL
Journal title
THEORETICAL COMPUTER SCIENCE
Media type
printed publication
Volume
331
Book
Publication year
2005
From page
215
To page
247
Publication number
Publication language
English
Ethnic language of studied culture
Range
international
Report year
2005
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
]