Observational interpretation of Casl specifications

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiObservational interpretation of Casl specifications
Adres internetowy
Tytuł czasopismaMATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Medium
Tom18
Zeszyt2
Rok wydania2008
Od strony325
Do strony371
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2008

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]