Relational Abstract Domain of Weighted Hexagons

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiRelational Abstract Domain of Weighted Hexagons
Adres internetowy
Tytuł czasopismaELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Medium
Tom267
Zeszyt1
Rok wydania2010
Od strony59
Do strony72
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2010

Lista autorów
  
 1. Jędrzej Fulara, Jednostka zewnetrzna [Współautor]
 2. Konrad Durnoga, Jednostka zewnetrzna [Współautor]
 3. Krzysztof Jakubczyk, Jednostka zewnetrzna [Współautor]
 4. Aleksy Schubert, Zakład Logiki Stosowanej [Współautor]