Converging to the chase - a tool for finite controllability

Tytuł: Converging to the chase - a tool for finite controllability
Tytuł pracy zbiorowej: 28th Annual IEEE
Twórca: Gogacz, Tomasz ; Marcinkowski, Jerzy
Strony: S. 540-549
Opis: Zawiera streszczenie. ; Zawiera bibliografię. ; Materials of 28th Annual ACM/IEEE Symposium on Logic in Computer Science, New Orleans, LA, USA, June 25-28, 2013.
Język Abstraktu: eng
Wydawca: IEEE
Miejsce wydania: Piscataway
Data wydania: 2013
Typ: Tekst
Identyfikator: ISBN 9781479904136 ; https://doi.org/10.1109/LICS.2013.61
Język publikacji: eng
Wersja Cyfrowa: http://doi.ieeecomputersociety.org/10.1109/LICS.2013.61
Szczegółowy typ obiektu: rozdz
Typ obiektu: Rozdział