Complexity of two-variable logic with counting

Pacholski, Leszek; Szwast, W; Tendera, L

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

polski
English

Strona główna
Complexity of two-variable logic with counting

Opis

Tytuł: Complexity of two-variable logic with counting
Tytuł pracy zbiorowej: 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland : proceedings
Twórca: Pacholski, Leszek ; Szwast, W ; Tendera, L
Strony: S. 318-327
Wydawca: Calif.
Miejsce wydania: Los Alamitos
Data wydania: 1997
Typ: Tekst
Język publikacji: eng
Szczegółowy typ obiektu: rozdz
Typ obiektu: Rozdział

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