- On finite satisfiability of the guarded fragment with equivalence or transitive guards
Description
- Title: On finite satisfiability of the guarded fragment with equivalence or transitive guards
- Group publication title: Lecture Notes in Computer Science : ; vol. 4790
- Collective work title: Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings. -
- Creator: Kieroński, Emanuel ; Tandera, Lidia
- Pages: S. 318-332
- Description: Zawiera bibliografię.
- Publisher: Springer
- Place of publishing: Berlin
- Date issued: 2007
- Type: Tekst
- Language: eng
- Detailed object type: rozdz
- Object type: Rozdział