CASL Semantics

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiCASL Semantics
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom2960
Zeszyt
Rok wydania2004
Od strony115
Do strony273
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2004

Lista autorów
  
 1. Hubert Baumeister, Jednostka zewnetrzna [Współautor]
 2. Maura Cerioli, Jednostka zewnetrzna [Współautor]
 3. Anne Haxthausen, Jednostka zewnetrzna [Współautor]
 4. Till Mossakowski, Jednostka zewnetrzna [Współautor]
 5. Peter Mosses, Jednostka zewnetrzna [Współautor]
 6. Don Sannella, Jednostka zewnetrzna [Współautor]
 7. Andrzej Tarlecki, Zakład Logiki Stosowanej [Współautor]