Observational interpretation of Casl specifications
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Observational interpretation of Casl specifications
Adres internetowy
Tytuł czasopisma
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Medium
Tom
18
Zeszyt
2
Rok wydania
2008
Od strony
325
Do strony
371
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2008
Lista autorów
1.
Michel Bidoit,
Jednostka zewnetrzna
[
Współautor
]
2.
Donald Sannella,
Jednostka zewnetrzna
[
Współautor
]
3.
Andrzej Tarlecki
,
Zakład Logiki Stosowanej
[
Współautor
]