Relational Abstract Domain of Weighted Hexagons
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Relational Abstract Domain of Weighted Hexagons
Adres internetowy
Tytuł czasopisma
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Medium
Tom
267
Zeszyt
1
Rok wydania
2010
Od strony
59
Do strony
72
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2010
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
]