Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach

Küsters, Ralf; Truderung, Tomasz

Przejdź do menu głównego Przejdź do wyszukiwarki Przejdź do zawartości

polski
English

Strona główna
Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach

Opis

Tytuł: Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach
Tytuł czasopisma: Journal of Automated Reasoning
Twórca: Küsters, Ralf ; Truderung, Tomasz
Strony: s. 325-352
Opis: Bibliogr. ; Streszcz. w jęz. ang.
Język Abstraktu: eng
Data wydania: 2011
Typ: Tekst
Język publikacji: eng
Wersja Cyfrowa: http://dx.doi.org/10.1007/s10817-010-9188-8
Szczegółowy typ obiektu: art
Typ obiektu: Artykuł
Tom/Wolumen/Zeszyt: Vol. 46, iss. 3-4 (2011)

Agregator Dorobku Naukowego Uniwersytetu Wrocławskiego, tworzony jest przez Bibliotekę Uniwersytecką we Wrocławiu

Europejski Fundusz Rozwoju Regionalnego Unii Europejskiej

Projekt pn. "Workflow do opracowania publikacji cyfrowych na uczelni" współfinansowany przez Unię Europejską z Europejskiego Funduszu Rozwoju Regionalnego

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności