CASL --- The Common Algebraic Specification Language: semantics and proof theory

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiCASL --- The Common Algebraic Specification Language: semantics and proof theory
Adres internetowy
Tytuł czasopismaCOMPUTING AND INFORMATICS
Medium
Tom22
Zeszyt
Rok wydania2003
Od strony285
Do strony321
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2003

Lista autorów
  
 1. Till Mossakowski, Jednostka zewnetrzna [Współautor]
 2. Anne Haxthausen, Jednostka zewnetrzna [Współautor]
 3. Donald Sannella, Jednostka zewnetrzna [Współautor]
 4. Andrzej Tarlecki, Zakład Logiki Stosowanej [Współautor]