Opis

• Tytuł: On finite satisfiability of the guarded fragment with equivalence or transitive guards
• Tytuł publikacji grupowej: Lecture Notes in Computer Science : ; vol. 4790
• Tytuł pracy zbiorowej: Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings. -
• Twórca: Kieroński, Emanuel ; Tandera, Lidia
• Strony: S. 318-332
• Opis: Zawiera bibliografię.
• Wydawca: Springer
• Miejsce wydania: Berlin
• Data wydania: 2007
• Typ: Tekst
• Język publikacji: eng
• Szczegółowy typ obiektu: rozdz
• Typ obiektu: Rozdział